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