Joost-Pieter Katoen
- katoen at cs.rwth-aachen.de
- Address
- Room 4201
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21200
Please visit my personal page in the web
Publications
| 2026 | |
|---|---|
| DOI | Philipp Schröer, Darion Haase, Joost-Pieter Katoen. Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation), Zenodo, 2026. |
| DOI | Joost-Pieter Katoen. Facing Uncertainty in AI, 2026. |
| DOI | Joost-Pieter Katoen. The Optimal Strategy to Meet the Deadline, Volume 157 of LNCS, pages 1–14, Springer, 2026. |
| 2025 | |
| DOIFull Text | Raphael Jean Berthon, Joost-Pieter Katoen, Zihan Zhou. A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games, Volume 348 of Leibniz international proceedings in informatics, pages 9:1-9:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025. |
| DOIFull Text | Roman Andriushchenko, Milan Češka, Filip Macák, Sebastian Junges, Joost-Pieter Katoen. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty, pages 433-469, AI Access Found., 2025. |
| DOIFull Text | Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer. Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains, Volume 15932 of LNCS, pages 56-81, Springer, 2025. |
| DOIFull Text | Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen. Compositional Reasoning for Parametric Probabilistic Automata, Volume 348 of Leibniz international proceedings in informatics, pages 31:1-31:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025. |
| DOIFull Text | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Computing Expected Visiting Times and Stationary Distributions in Markov Chains, pages 23, Springer, 2025. |
| DOIFull Text | Philipp Schroer, Darion Haase, Joost-Pieter Katoen. Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version), 2025. |
| DOIFull Text | Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler. Foundations for Deductive Verification of Continuous Probabilistic Programs, pages 421-448, ACM, 2025. |
| DOI | Marsha Chechik, Joost-Pieter Katoen. Introduction to the Special Collection from FM 2023, pages 1-2, Springer, 2025. |
| DOIFull Text | Alexander Nikolai Bork, Tim Quatmann, Joost-Pieter Katoen, Svenja Maria Stein. Multi-Cost-Bounded Reachability Analysis of POMDPs, Volume 286 of Proceedings of machine learning research, pages 354-366, 2025. |
| DOIFull Text | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Robust Strategies for Stochastic Multi-Agent Systems, pages 2437-2439, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2025. |
| DOIFull Text | Emma Katharina Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen. Weighted Rewriting, Volume 337 of Leibniz international proceedings in informatics, pages 6:1-6:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2025. |
| 2024 | |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou. A Compositional Semantics of Boolean-Logic Driven Markov Processes, pages 701-716, IEEE, 2024. |
| DOIFull Text | Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann. A Spectrum of Approximate Probabilistic Bisimulations, Volume 311 of Leibniz international proceedings in informatics, pages 37:1-37:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2024. |
| DOIFull Text | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains, Volume 14571 of LNCS, pages 237-257, Springer, 2024. |
| DOIFull Text | Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, pages 127, ACM, 2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Tobias Winkler. Markov Decision Processes with Sure Parity and Multiple Reachability Objectives, Volume 15050 of LNCS, pages 203-220, Springer, 2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems, Volume 38,16 of Proceedings of the AAAI Conference on Artificial Intelligence, pages 17308-17316, Association for the Advancement of Artificial Intelligence, 2024. |
| Show all | |