| 2025 |
|---|
| DOI | Lutz Klinkenberg. Analysis of probabilistic programs using generating functions,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Robust Strategies for Stochastic Multi-Agent Systems,
Proceedings of AAMAS-2025 / IFAAMAS, ACM (in cooperation) ; Y. Vorobeychik, S. Das, A. Nowé (eds.), 2437-2439, International Foundation for Autonomous Agents,Multiagent Systems (IFAAMAS), 2025. |
| Elbeck Lazaridi. Implementing the denotational semantics of probabilistic programs,
2025. |
| DOI | Alexander Nikolai Bork, Tim Quatmann, Joost-Pieter Katoen, Svenja Maria Stein. Multi-Cost-Bounded Reachability Analysis of POMDPs,
Conference on Uncertainty in Artificial Intelligence, 21-25 July 2025, Rio Othon Palace, Rio de Janeiro, Brazil / Editors: Silvia Chiappa, Sara Magliacane, 354-366, 2025. |
| DOI | Kaleb Kierner. Modeling non-deterministic quantum programs for model checking,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| DOI | Marcel Eissing. On the relation of rely-guarantee and assume-guarantee reasoning,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| DOI | Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer. Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains,
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II, 56-81, Springer Nature Switzerland, 2025. |
| Johannes Peter Valentin Gaidetzka. Quantum circuit optimization through eliminating and deferring mid-circuit measurements,
2025. |
| Glen Jordan Grant. Exploration of certificate sharing for neural network verification,
2025. |
| Sophia Greiwe. Implementation of PRNG-based elimination of intermediate measurements in quantum circuits,
2025. |
| DOI | Mareike Metzler. Evaluating tool support for fault tree analysis of satellite constellations,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| Dobromir Panayotov. Scalable qubit routing on the conveyor-based SpinBus architecture,
2025. |
| Rico Stanosek. Cost-reliability optimal spare part allocation in dynamic fault trees with relaxed spare gates,
2025. |
| Sascha Thiemann. Compilation of quantum programs with control flow primitives in superposition,
2025. |
| DOI | Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen. Compositional Reasoning for Parametric Probabilistic Automata,
36th International Conference on Concurrency Theory : CONCUR 2025, August 26-29, 2025, Aarhus, Denmark / edited by Patricia Bouyer, Jaco van de Pol, 31:1-31:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Zihan Zhou. A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games,
36th International Conference on Concurrency Theory : CONCUR 2025, August 26-29, 2025, Aarhus, Denmark / edited by Patricia Bouyer, Jaco van de Pol, 9:1-9:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025. |
| Muhammad Asad Murtaza Butt. Extending the assume–guarantee framework for parametric probabilistic automata : From robust valuations to the limits of robust strategies,
2025. |
| DOI | Dominic Sebastian Meiser. Multi‐agent path finding for reversible conveyors,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| DOI | Emma Katharina Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen. Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems,
10th International Conference on Formal Structures for Computation and Deduction : FSCD 2025, July 14-20, 2025, Birmingham, UK / edited by Maribel Fernández, 6:[1]-6:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2025. |
| DOI | Philipp Schroer, Darion Haase, Joost-Pieter Katoen. Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version),
2025. |
| DOI | Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen. Bayesian Inference in Quantum Programs,
52nd International Colloquium on Automata, Languages, and Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis, 157:1-157:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2025. |
| DOI | Christopher Jan-Steffen Brix, Julia Walczak, Nils Michael Lommen, Thomas Noll. Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems,
ICLR 2025 Workshop: VerifAI: AI Verification in the Wild : ICLR 2025 Workshop VerifAI Singapore, Apr 27 2025, 1-53, 2025. |
| DOI | Lena Verscht, Benjamin Lucien Kaminski. A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests,
1782-1811, ACM, 2025. |
| DOI | Lena Verscht, Ānrán Wáng, Benjamin Lucien Kaminski. Partial Incorrectness Logic,
4 Seiten, 2025. |
| DOI | Ira Justus Fesefeldt. Deductive reasoning about concurrent probabilistic programs,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |