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