| 2024 |
|---|
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano. Natural Strategic Ability in Stochastic Multi-Agent Systems,
10 Seiten, 2024. |
| DOI | Alexander Nikolai Bork, Debraj Chakraborty, Kush Grover, Jan Křetínský, Stefanie Mohr. Learning Explainable and Better Performing Representations of POMDP Strategies,
Tools and algorithms for the construction and analysis of systems / Bernd Finkbeiner, Laura Kovács, editors. - Part 2, 299-319, Springer, 2024. |
| Sven Büge. Implementing Goal-HSVI for POMDPs in the probabilistic model checker Storm,
2024. |
| DOI | Patrick Nossol. Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| Daniel Johannes Zilken. Distributional invariants for probabilistic programs,
2024. |
| DOI | Philipp Berger. Applying software model checking: experiences and advancements,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Tobias Winkler. Markov Decision Processes with Sure Parity and Multiple Reachability Objectives,
Reachability problems : 18th international conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings / Laura Kovács, Ana Sokolova, editors, 203-220, Springer, 2024. |
| DOI | Philipp Schroer. A deductive verifier for probabilistic programs,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Bahare Salmani Barzoki. Probabilistic model checking and parameter tuning for Bayesian networks,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Kevin Batz. Automated deductive verification of probabilistic programs,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou. A Compositional Semantics of Boolean-Logic Driven Markov Processes,
701-716, IEEE, 2024. |
| DOI | Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann. A Spectrum of Approximate Probabilistic Bisimulations,
35th International Conference on Concurrency Theory : CONCUR 2024, September 9-13, 2024, Calgary, Canada / edited by Rupak Majumdar, Alexandra Silva, 37:1-37:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2024. |
| DOI | Christopher Jan-Steffen Brix, Stanley Bak, Taylor T. Johnson, Haoze Wu. The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results,
102 Seiten, Universitätsbibliothek der RWTH Aachen, 2024. |
| Yejun Tang. Transfer of branching heuristics for neural network verification to alpha-beta-CROWN and evaluation of large-scale verification benchmarks,
2024. |
| Julia Walczak. Testing the applicability of robustness evaluation methods for neural networks on nonlinear real arithmetic problems using α-β-CROWN and foolbox,
2024. |
| Patrick Arens. MARVEL: A stepwise debugging tool for Markov models in the PRISM-language,
2024. |
| 2023 |
|---|
| DOI | Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen. Exact Probabilistic Inference Using Generating Functions,
3 Seiten, 2023. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht. A Calculus for Amortized Expected Runtimes,
67, ACM, 2023. |
| DOI | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants,
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina, 410-429, Springer Nature Switzerland, 2023. |
| DOI | Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan. Lower Bounds for Possibly Divergent Probabilistic Programs,
99, ACM, 2023. |
| DOI | Christopher Jan-Steffen Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu. First three years of the international verification of neural networks competition (VNN-COMP),
329-339, Springer, 2023. |
| DOI | Sascha Müller. Synthesizing FDIR recovery strategies for space systems,
1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2023. |
| DOI | Roman Andriushchenko, Alexander Nikolai Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák. Search and Explore: Symbiotic Policy Synthesis in POMDPs; 1st ed. 2023.,
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III / edited by Constantin Enea, Akash Lal, 113-135, Springer Nature Switzerland, 2023. |
| DOI | Bahare Salmani Barzoki, Joost-Pieter Katoen. Automatically Finding the Right Probabilities in Bayesian Networks,
1637-1696, AI Access Found., 2023. |
| DOI | Tim Quatmann. Verification of multi-objective Markov models,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2023. |