| 2024 |
| DOIFull Text | Naomi Barth.
Compositional control-flow reduction for probabilistic model checking,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOIFull Text | Leo Mommers.
Proving termination of probabilistic recursive programs via SMT-solving,
RWTH Aachen University, 2024. |
| DOIFull Text | Johannes Lehmann.
Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOIFull Text | Songran Shi.
Application of Reinforcement Learning to the Game of Reversi++,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOIFull Text | Sebastian Junges, Erika Ábrahám, Hans Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk.
Parameter synthesis for Markov models,
pages 181-259, Springer, 2024. |
| DOIFull Text | Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen.
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions,
pages 127, ACM, 2024. |
| DOI | Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle Stoelinga.
SAFEST,
7 pages, IEEE, 2024. |
| DOIFull Text | Anastasiia Petrova.
Model checking pPDA vs unambiguous automata,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOIFull Text | Dinis Vitorino.
Most probable explanations in Bayesian Networks via weighted programming,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOIFull Text | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler.
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains,
Volume 14571 of LNCS, pages 237-257, Springer, 2024. |
| Frederik Heigold.
Semantics-preserving transformation of Java source code,
2024. |
| Roy Hermanns.
Optimized routing for shuttling-based quantum processing architectures,
2024. |
| Jakob van Sprang.
Heuristic synthesis of spare parts inventories using dynamic fault trees,
2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano.
Natural Strategic Ability in Stochastic Multi-Agent Systems,
Volume 38,16 of Proceedings of the AAAI Conference on Artificial Intelligence, pages 17308-17316, Association for the Advancement of Artificial Intelligence, 2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano.
Natural Strategic Ability in Stochastic Multi-Agent Systems,
10 pages, 2024. |
| DOIFull Text | Alexander Nikolai Bork, Debraj Chakraborty, Kush Grover, Jan Křetínský, Stefanie Mohr.
Learning Explainable and Better Performing Representations of POMDP Strategies,
Volume 14571 of LNCS, pages 299-319, Springer, 2024. |
| Sven Büge.
Implementing Goal-HSVI for POMDPs in the probabilistic model checker Storm,
2024. |
| DOIFull Text | Patrick Nossol.
Entailments in quantitative separation logic with recursive definitions,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| Daniel Zilken.
Distributional invariants for probabilistic programs,
2024. |
| DOIFull Text | Philipp Berger.
Applying software model checking,
RWTH Aachen University, 2024. |
| DOI | Raphael Jean Berthon, Joost-Pieter Katoen, Tobias Winkler.
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives,
Volume 15050 of LNCS, pages 203-220, Springer, 2024. |
| DOIFull Text | Philipp Schroer.
A deductive verifier for probabilistic programs,
pages 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,
pages 701-716, IEEE, 2024. |
| DOIFull Text | Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann.
A Spectrum of Approximate Probabilistic Bisimulations,
Volume 311 of Leibniz international proceedings in informatics, pages 37:1-37:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2024. |
| DOIFull Text | Duo Zhou, Christopher Jan-Steffen Brix, Grani A. Hanasusanto, Huan Zhang.
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes,
Volume 37 of Advances in neural information processing systems, pages 29324-29353, [Verlag nicht ermittelbar], 2024. |