@article{C2021,
title = {Counterexample-guided inductive synthesis for probabilistic systems},
author = {Milan Češka and Hans Christian Hensel and Sebastian Junges and Joost-Pieter Katoen},
publisher = {Springer},
journal = {Formal aspects of computing},
pages = {31 Seiten},
type = {Journal Article},
year = {2021},
doi = {10.1007/s00165-021-00547-2},
url = { https://publications.rwth-aachen.de/record/820111},
}×

@article{M2021,
title = {Markov automata with multiple objectives},
author = {Tim Quatmann and Sebastian Junges and Joost-Pieter Katoen},
publisher = {Springer},
journal = {Formal methods in system design},
type = {Journal Article},
year = {2021},
doi = {10.1007/s10703-021-00364-6},
url = { https://publications.rwth-aachen.de/record/816671},
}×

@book{F2021,
title = {Foundations of probabilistic programming},
author = {},
editor = {Gilles Barthe and Joost-Pieter Katoen and Alexandra Silva},
publisher = {Cambridge University Press},
pages = {xiv, 568 Seiten : Illustrationen},
type = {Book},
year = {2021},
doi = {10.1017/9781108770750},
url = { https://publications.rwth-aachen.de/record/814578},
}×

@article{TM2021,
title = {The complexity of reachability in parametric Markov decision processes},
author = {Sebastian Junges and Joost-Pieter Katoen and Guillermo A. Pérez and Tobias Winkler},
publisher = {Elsevier},
journal = {Journal of computer and system sciences},
volume = {119},
pages = {pages 183-210},
type = {Journal Article},
year = {2021},
doi = {10.1016/j.jcss.2021.02.006},
url = { https://publications.rwth-aachen.de/record/816179},
}×

@article{R2021,
title = {Relatively complete verification of probabilistic programs},
author = {Kevin Batz and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
volume = {5},
pages = {pages 39},
type = {Journal Article},
year = {2021},
doi = {10.1145/3434320},
url = { https://publications.rwth-aachen.de/record/816245},
}×

@conference{GFPP2021,
title = {Generating Functions for Probabilistic Programs},
author = {Lutz Klinkenberg and Kevin Batz and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Joshua Moerman and Tobias Winkler},
publisher = {Springer},
booktitle = {Theoretical Computer Science and General Issues},
volume = {12561},
pages = {231-248},
type = {Conference Paper},
year = {2021},
url = { https://publications.rwth-aachen.de/record/807881},
}×

@conference{MOLATR2021,
title = {Multi-objective Optimization of Long-run Average and Total Rewards},
author = {Tim Quatmann and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12651},
pages = {230-249},
type = {Conference Paper},
year = {2021},
doi = {10.1007/978-3-030-72016-2_13},
url = { https://publications.rwth-aachen.de/record/817768},
}×

@conference{FPOMC2021,
title = {Finding Provably Optimal Markov Chains},
author = {Jip Josephine Spel and Sebastian Junges and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12651},
pages = {173-190},
type = {Conference Paper},
year = {2021},
doi = {10.1007/978-3-030-72016-2_10},
url = { https://publications.rwth-aachen.de/record/818128},
}×

@article{A2021,
title = {A pre-expectation calculus for probabilistic sensitivity},
author = {Alejandro Aguirre and Gilles Barthe and Justin Hsu and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja},
publisher = {Association for Computing Machinery},
journal = {Proceedings of the ACM on programming languages},
volume = {5(POPL)},
pages = {pages 52},
type = {Journal Article},
year = {2021},
doi = {10.1145/3434333},
url = { https://publications.rwth-aachen.de/record/819375},
}×

@unpublished{P2020,
title = {PrIC3},
author = {Kevin Batz and Sebastian Junges and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja and Philipp Schröer},
type = {Preprint},
year = {2020},
url = { https://arxiv.org/abs/2004.14835},
}×

@article{A2020,
title = {Aiming low is harder},
author = {Marcel Hark and Benjamin Lucien Kaminski and Jürgen Giesl and Joost-Pieter Katoen},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
volume = {4(POPL)},
pages = {pages 1-28},
type = {Journal Article},
year = {2020},
doi = {10.1145/3371105},
url = { https://publications.rwth-aachen.de/record/784743},
}×

@unpublished{RCVPP2020,
title = {Relatively Complete Verification of Probabilistic Programs},
author = {Kevin Batz and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja},
pages = {49 Seiten},
type = {Preprint},
year = {2020},
url = { https://arxiv.org/abs/2010.14548},
}×

@conference{SBVUM2020,
title = {Scenario-Based Verification of Uncertain MDPs},
author = {Murat Cubuktepe and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen and Ufuk Topcu},
publisher = {Springer},
booktitle = {Theoretical Computer Science and General Issues},
volume = {12078},
pages = {287-305},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-45190-5_16},
url = { https://publications.rwth-aachen.de/record/794207},
}×

@article{SSPRPGBA2020,
title = {Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions},
author = {Leonore Winterer and Sebastian Junges and Ralf Wimmer and Nils Jansen and Ufuk Topcu and Joost-Pieter Katoen and Bernd Becker},
publisher = {Institute of Electrical and Electronics Engineers},
journal = {IEEE transactions on automatic control},
volume = {66(3)},
pages = {pages 1040-1054},
type = {Journal Article},
year = {2020},
doi = {10.1109/TAC.2020.2990140},
url = { https://publications.rwth-aachen.de/record/794210},
}×

@conference{GDCD2020,
title = {Generative Datalog with Continuous Distributions},
author = {Martin Grohe and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Peter Lindner},
publisher = {ACM},
pages = {347-360},
type = {Conference Paper},
year = {2020},
doi = {10.1145/3375395.3387659},
url = { https://publications.rwth-aachen.de/record/794402},
}×

@article{MBTAM2020,
title = {Multi-cost Bounded Tradeoff Analysis in MDP},
author = {Arnd Hartmanns and Sebastian Junges and Joost-Pieter Katoen and Tim Quatmann},
publisher = {Springer},
journal = {Journal of automated reasoning},
volume = {64(7)},
pages = {pages 1483-1522},
type = {Journal Article},
year = {2020},
doi = {10.1007/s10817-020-09574-9},
url = { https://publications.rwth-aachen.de/record/794977},
}×

@conference{SGLRSO2020,
title = {Stochastic Games with Lexicographic Reachability-Safety Objectives},
author = {Krishnendu Chatterjee and Joost-Pieter Katoen and Maximilian Weininger and Tobias Winkler},
publisher = {Springer},
booktitle = {LNCS},
volume = {12225},
pages = {398-420},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-53291-8_21},
url = { https://publications.rwth-aachen.de/record/795010},
}×

@conference{VWQB2020,
title = {Various Ways to Quantify BDMPs},
author = {Marc Bouissou and Shahid Khan and Joost-Pieter Katoen and Pavel Krcal},
publisher = {NICTA},
booktitle = {EPTCS},
volume = {316},
pages = {1-14},
type = {Conference Paper},
year = {2020},
doi = {10.4204/EPTCS.316.1},
url = { https://publications.rwth-aachen.de/record/795086},
}×

@unpublished{GFPP2020,
title = {Generating Functions for Probabilistic Programs},
author = {Lutz Klinkenberg and Kevin Batz and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Joshua Moerman and Tobias Winkler},
type = {Preprint},
year = {2020},
url = { https://arxiv.org/abs/2007.06327},
}×

@conference{SSMOM2020,
title = {Simple Strategies in Multi-Objective MDPs},
author = {Florent Delgrange and Joost-Pieter Katoen and Tim Quatmann and Mickael Randour},
publisher = {Springer},
booktitle = {Theoretical Computer Science and General Issues},
volume = {12078},
pages = {346-364},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-45190-5_19},
url = { https://publications.rwth-aachen.de/record/792348},
}×

@article{PM2020,
title = {Parametric Markov chains},
author = {Christel Baier and Christian Hensel and Lisa Hutschenreiter and Sebastian Junges and Joost-Pieter Katoen and Joachim Klein},
publisher = {Elsevier},
journal = {Information and computation},
volume = {272},
pages = {pages 104504},
type = {Journal Article},
year = {2020},
doi = {10.1016/j.ic.2019.104504},
url = { https://publications.rwth-aachen.de/record/793292},
}×

@techreport{URTG2020,
title = {UnRAVeL Research Training Group},
author = {Joost-Pieter Katoen and Martin Ritzert and Richard Wilke and Katrin M. Dannert and Peter Lindner and Dennis Fischer and Janosch Fuchs and Björn Frederik Tauer and Vipin Ravindran Vijayalakshmi and Laura Vargas Koch and Nadine Friesen and Andreas Gabriel Klinger and Marcel Tobias Hark and Benjamin Lucien Kaminski and Sebastian Junges and Jip Josephine Spel and Anton Pirogov and Stefan Schupp and Till Hofmann and Daxin Liu and Martin Comis and Tabea Claudia Krabs and Stephan Zieger and Rebecca Haehn and Matthias Volk and Norman Weik and Helene-Maria Bolke-Hermanns},
pages = {85 Seiten},
type = {Tech Report},
year = {2020},
url = { https://publications.rwth-aachen.de/record/807487},
}×

@conference{EBLDMPG2020,
title = {Explaining Boolean-Logic Driven Markov Processes using GSPNs},
author = {Shahid Khan and Joost-Pieter Katoen and Marc Bouissou},
publisher = {IEEE},
pages = {119-126},
type = {Conference Paper},
year = {2020},
doi = {10.1109/EDCC51268.2020.00028},
url = { https://publications.rwth-aachen.de/record/814600},
}×

@unpublished{VWQB2020,
title = {Various Ways to Quantify BDMPs},
author = {Marc Bouissou and Shahid Khan and Joost-Pieter Katoen and Pavel Krcal},
type = {Preprint},
year = {2020},
url = { https://arxiv.org/abs/2004.13283},
}×

@conference{P2020,
title = {PrIC3},
author = {Kevin Batz and Sebastian Junges and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja and Philipp Schröer},
publisher = {Springer},
booktitle = {LNCS},
volume = {12225},
pages = {512-538},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-53291-8_27},
url = { https://publications.rwth-aachen.de/record/816242},
}×

@conference{ACSRB2020,
title = {A Compositional Semantics for Repairable BDMPs},
author = {Shahid Khan and Joost-Pieter Katoen and Marc Bouissou},
publisher = {Springer},
booktitle = {LNCS},
volume = {12234},
pages = {82-98},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-54549-9_6},
url = { https://publications.rwth-aachen.de/record/814601},
}×

@conference{VIHP2020,
title = {Verification of Indefinite-Horizon POMDPs},
author = {Alexander Bork and Sebastian Junges and Joost-Pieter Katoen and Tim Quatmann},
publisher = {Springer},
booktitle = {LNCS},
volume = {12302},
pages = {288-304},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-59152-6_16},
url = { https://publications.rwth-aachen.de/record/814779},
}×

@conference{BSMCAC2020,
title = {Benchmarking Software Model Checkers on Automotive Code},
author = {Lukas Westhofen and Philipp Berger and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12229},
pages = {133-150},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-55754-6_8},
url = { https://publications.rwth-aachen.de/record/814599},
}×

@conference{IBVWVC2020,
title = {Interpretation-Based Violation Witness Validation for C},
author = {Jan Švejda and Philipp Berger and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12078},
pages = {40-57},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-45190-5_3},
url = { https://publications.rwth-aachen.de/record/814598},
}×

@conference{BISMC2020,
title = {Bayesian Inference by Symbolic Model Checking},
author = {Bahare Salmani Barzoki and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12289},
pages = {115-133},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-59854-9_9},
url = { https://publications.rwth-aachen.de/record/814595},
}×

@conference{PMCA2020,
title = {Probabilistic Model Checking of AODV},
author = {Mojgan Kamali and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12289},
pages = {54-73},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-59854-9_6},
url = { https://publications.rwth-aachen.de/record/814584},
}×

@conference{WPSBI2020,
title = {Weakest Preexpectation Semantics for Bayesian Inference},
author = {Marcin Szymczak and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12154},
pages = {44-121},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-55089-9_3},
url = { https://publications.rwth-aachen.de/record/814579},
}×