| 2025 |
|---|
| DOI | Kevin Batz, Joost-Pieter Katoen, Nora Orhan. Quantifier Elimination and Craig Interpolation: The Quantitative Way,
Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings / edited by Parosh Aziz Abdulla, Delia Kesner, 176-197, Springer Nature Switzerland, 2025. |
| DOI | Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen. Compositional Reasoning for Parametric Probabilistic Automata,
2025. |
| Yuchen Yang, Qichang Liu, Christopher Jan-Steffen Brix, Huan Zhang, Yinzhi Cao. CertPHash: Towards Certified Perceptual Hashing via Robust Training,
Proceedings of the 34th USENIX Security Symposium : August 13–15, 2025, Seattle, WA, USA, 7839-7856, 2025. |
| DOI | Emma Katharina Ahrens, Christina Gehnen, Lena Franziska Verscht. Report on Probability in Computer Science (PICS) 2024,
32-34, ACM, 2025. |
| DOI | Emma Katharina Ahrens, Jan-Christoph Kassing. Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025),
6-7, ACM, 2025. |
| 2024 |
|---|
| DOI | Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler. Stochastic games with lexicographic objectives,
40-80, Springer Science + Business Media B.V, 2024. |
| DOI | Alexander Ferber. Combining integer programs and graph grammars: Theory and implementation in Attestor,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler. Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs,
93, ACM, 2024. |
| DOI | Tobias Winkler. Complexity and decidability of multi-objective stochastic games,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Tom Biskup. Invariant-based strategy synthesis for nondeterministic probabilistic programs,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Naomi Barth. Compositional control-flow reduction for probabilistic model checking,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Leo Mommers. Proving termination of probabilistic recursive programs via SMT-solving,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Johannes Lehmann. Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Songran Shi. Application of Reinforcement Learning to the Game of Reversi++,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Sebastian Junges, Erika Ábrahám, Hans Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. Parameter synthesis for Markov models : covering the parameter space,
181-259, Springer Science + Business Media B.V, 2024. |
| DOI | Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions,
127, ACM, 2024. |
| DOI | Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle Stoelinga. SAFEST: Fault Tree Analysis Via Probabilistic Model Checking,
Annual Reliability and Maintainability Symposium 2024 proceedings : January 22-25, 2024, the Clyde Hotel, Albuquerque, New Mexico, USA / RAMS 2024, 7 Seiten, IEEE, 2024. |
| DOI | Anastasiia Petrova. Model checking pPDA vs unambiguous automata,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Dinis Vitorino. Most probable explanations in Bayesian Networks via weighted programming,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains,
Tools and algorithms for the construction and analysis of systems / Bernd Finkbeiner, Laura Kovács, editors. - Part 2, 237-257, Springer, 2024. |
| Frederik Heigold. Semantics-preserving transformation of Java source code,
2024. |
| Roy Hermanns. Optimized routing for shuttling-based quantum processing architectures,
2024. |
| Jakob Sprang. Heuristic synthesis of spare parts inventories using dynamic fault trees,
2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems,
Thirty-Eighth AAAI Conference on Artificial Intelligence : Februar 20–27, 2024, Vancouver, Canada / Edited by Michael Wooldridge, Jennifer Dy, Sriraam Natarajan ; Sponsored by the Association for the Advancement of Artificial Intelligence, 17308-17316, Association for the Advancement of Artificial Intelligence, 2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems,
10 Seiten, 2024. |