| 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 | Duo Zhou, Christopher Jan-Steffen Brix, Grani A. Hanasusanto, Huan Zhang. Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes, Advances in neural information processing systems 37 (NeurIPS 2024) / edited by: a. Globerson and L. Mackey and D. Belgrave and a. Fan and U. Paquet and J. Tomczak and C. Zhang, 29324-29353, [Verlag nicht ermittelbar], 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. |
| 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. |
| 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. |
| DOI | Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger. A Practitioner’s Guide to MDP Model Checking Algorithms, 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 I / edited by sriram sankaranarayanan, natasha sharygina, 469-488, Springer Nature Switzerland, 2023. |
| DOI | . 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung, 1 Online-Ressource, RWTH Aachen University, Department of Computer Science, 2023. |
| DOI | Tobias Winkler, Joost-Pieter Katoen. Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration, 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, 391-409, Springer Nature Switzerland, 2023. |
| DOI | Tobias Winkler, Joost-Pieter Katoen. On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata, 2023 38th annual ACM/IEEE symposium on logic in computer science (LICS) : 26-29 june 2023, boston, USA / conference chair: Marco gaboardi (boston university, USA), 13 Seiten, IEEE, 2023. |
| DOI | Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs, 294, ACM, 2023. |
| DOI | Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version), [1]-48, 2023. |
| Felix Faber. Comparison of symbolic maximal end component decomposition algorithms, 61 Seiten : Illustrationen, Diagramme, 2023. |
| DOI | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, 24, Department of Theoretical Computer Science, Technical University of Braunschweig, 2023. |