| 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. |