@inbook{SQIFPP2025,
title = {Symbolic Quantitative Information Flow for Probabilistic Programs},
author = {Philipp Schröer and Francesca Randone and Raúl Pardo and Andrzej Wa̧sowski},
publisher = {Springer},
booktitle = {LNCS},
volume = {15260},
pages = {128-154},
type = {Book Chapter},
year = {2025},
doi = {10.1007/978-3-031-75783-9_6},
url = { https://publications.rwth-aachen.de/record/998367},
}×

@inbook{JPMFP2025,
title = {J-P: MDP. FP. PP},
author = {Kevin Batz and Benjamin Lucien Kaminski and Christoph Matheja and Tobias Winkler},
publisher = {Springer},
booktitle = {LNCS},
volume = {15260},
pages = {255-302},
type = {Book Chapter},
year = {2025},
doi = {10.1007/978-3-031-75783-9_11},
url = { https://publications.rwth-aachen.de/record/999819},
}×

@article{PSSRNPP2024,
title = {Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs},
author = {Kevin Batz and Tom Jannik Biskup and Joost-Pieter Katoen and Tobias Winkler},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
volume = {8},
pages = {pages 93},
type = {Journal Article},
year = {2024},
doi = {10.1145/3632935},
url = { https://publications.rwth-aachen.de/record/979194},
}×

@article{PM2024,
title = {Parameter synthesis for Markov models: covering the parameter space},
author = {Sebastian Junges and Erika Ábrahám and Hans Christian Hensel and Nils Jansen and Joost-Pieter Katoen and Tim Quatmann and Matthias Volk},
publisher = {Springer},
journal = {Formal methods in system design},
volume = {62(1/3)},
pages = {pages 181-259},
type = {Journal Article},
year = {2024},
doi = {10.1007/s10703-023-00442-x},
url = { https://publications.rwth-aachen.de/record/985754},
}×

@article{EBILPPGF2024,
title = {Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions},
author = {Lutz Klinkenberg and Christian Blumenthal and Mingshuai Chen and Darion Haase and Joost-Pieter Katoen},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
volume = {8(OOPSLA1)},
pages = {pages 127},
type = {Journal Article},
year = {2024},
doi = {10.1145/3649844},
url = { https://publications.rwth-aachen.de/record/986464},
}×

@conference{SFTAVPMC2024,
title = {SAFEST: Fault Tree Analysis Via Probabilistic Model Checking},
author = {Matthias Volk and Falak Sher and Joost-Pieter Katoen and Mariëlle Stoelinga},
publisher = {IEEE},
type = {Conference Paper},
year = {2024},
doi = {10.1109/RAMS51492.2024.10457719},
url = { https://publications.rwth-aachen.de/record/988574},
}×

@conference{ACEVTSDMC2024,
title = {Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains},
author = {Hannah Mertens and Joost-Pieter Katoen and Tim Quatmann and Tobias Winkler},
publisher = {Springer},
booktitle = {LNCS},
volume = {14571},
pages = {237-257},
type = {Conference Paper},
year = {2024},
doi = {10.1007/978-3-031-57249-4_12},
url = { https://publications.rwth-aachen.de/record/990356},
}×

@conference{NSASMAS2024,
title = {Natural Strategic Ability in Stochastic Multi-Agent Systems},
author = {Raphael Jean Berthon and Joost-Pieter Katoen and Munyque Mittelmann and Aniello Murano},
publisher = {Association for the Advancement of Artificial Intelligence},
booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence},
volume = {38,16},
pages = {17308-17316},
type = {Conference Paper},
year = {2024},
doi = {10.1609/aaai.v38i16.29678},
url = { https://publications.rwth-aachen.de/record/992292},
}×

@unpublished{NSASMAS2024,
title = {Natural Strategic Ability in Stochastic Multi-Agent Systems},
author = {Raphael Jean Berthon and Joost-Pieter Katoen and Munyque Mittelmann and Aniello Murano},
pages = {10 Seiten},
type = {Preprint},
year = {2024},
doi = {10.48550/ARXIV.2401.12170},
url = { https://arxiv.org/abs/2401.12170},
}×

@conference{LEBPRPS2024,
title = {Learning Explainable and Better Performing Representations of POMDP Strategies},
author = {Alexander Nikolai Bork and Debraj Chakraborty and Kush Grover and Jan Křetínský and Stefanie Mohr},
publisher = {Springer},
booktitle = {LNCS},
volume = {14571},
pages = {299-319},
type = {Conference Paper},
year = {2024},
doi = {10.1007/978-3-031-57249-4_15},
url = { https://publications.rwth-aachen.de/record/992671},
}×

@conference{MDPSPMRO2024,
title = {Markov Decision Processes with Sure Parity and Multiple Reachability Objectives},
author = {Raphael Jean Berthon and Joost-Pieter Katoen and Tobias Winkler},
publisher = {Springer},
booktitle = {LNCS},
volume = {15050},
pages = {203-220},
type = {Conference Paper},
year = {2024},
doi = {10.1007/978-3-031-72621-7_14},
url = { https://publications.rwth-aachen.de/record/997143},
}×