| 2024 |
| DOIFull Text | Christopher Jan-Steffen Brix, Stanley Bak, Taylor T. Johnson, Haoze Wu.
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024),
102 pages, 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,
2024. |
| DOIFull Text | Bahare Salmani Barzoki.
Probabilistic model checking and parameter tuning for Bayesian networks,
RWTH Aachen University, 2024. |
| DOIFull Text | Kevin Batz.
Automated deductive verification of probabilistic programs,
RWTH Aachen University, 2024. |
| 2023 |
| DOIFull Text | Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen.
Exact Probabilistic Inference Using Generating Functions,
3 pages, 2023. |
| DOIFull Text | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht.
A Calculus for Amortized Expected Runtimes,
pages 67, ACM, 2023. |
| DOIFull Text | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants,
Volume 13994 of LNCS, pages 410-429, Springer, 2023. |
| DOIFull Text | Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan.
Lower Bounds for Possibly Divergent Probabilistic Programs,
pages 99, ACM, 2023. |
| DOIFull Text | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács.
The probabilistic termination tool amber,
pages 90-109, Springer, 2023. |
| DOIFull Text | 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),
pages 329-339, Springer, 2023. |
| DOIFull Text | Sascha Müller.
Synthesizing FDIR recovery strategies for space systems,
RWTH Aachen University, 2023. |
| DOIFull Text | Roman Andriushchenko, Alexander Nikolai Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák.
Search and Explore,
Volume 13966 of LNCS, pages 113-135, Springer, 2023. |
| DOIFull Text | Bahare Salmani Barzoki, Joost-Pieter Katoen.
Automatically Finding the Right Probabilities in Bayesian Networks,
pages 1637-1696, AI Access Found., 2023. |
| DOIFull Text | Tim Quatmann.
Verification of multi-objective Markov models,
RWTH Aachen University, 2023. |
| DOI | Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger.
A Practitioner’s Guide to MDP Model Checking Algorithms,
Volume 13993 of LNCS, pages 469-488, Springer, 2023. |
| DOIFull Text | .
22. Kolloquium Programmiersprachen und Grundlagen der Programmierung,
Volume AIB-2023-03 of Aachener Informatik-Berichte, pages 1 Online-Ressource, RWTH Aachen University, Department of Computer Science, 2023. |
| DOIFull Text | Tobias Winkler, Joost-Pieter Katoen.
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration,
Volume 13994 of LNCS, pages 391-409, Springer, 2023. |
| DOI | Tobias Winkler, Joost-Pieter Katoen.
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata,
13 pages, IEEE, 2023. |
| DOIFull Text | Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
A Deductive Verification Infrastructure for Probabilistic Programs,
pages 294, ACM, 2023. |
| DOIFull Text | Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version),
pages 1-48, 2023. |
| Felix Faber.
Comparison of symbolic maximal end component decomposition algorithms,
61 pages, 2023. |
| DOIFull Text | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen.
Model Checking Temporal Properties of Recursive Probabilistic Programs,
pages 24, Department of Theoretical Computer Science, Technical University of Braunschweig, 2023. |
| Gergana Tropcheva.
Strategy computation for a Markovian disease spread model,
2023. |