| 2024 |
|---|
| DOI | Tobias Winkler. Complexity and decidability of multi-objective stochastic games, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Tom Biskup. Invariant-based strategy synthesis for nondeterministic probabilistic programs, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Naomi Barth. Compositional control-flow reduction for probabilistic model checking, 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Leo Mommers. Proving termination of probabilistic recursive programs via SMT-solving, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Johannes Lehmann. Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning, 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Songran Shi. Application of Reinforcement Learning to the Game of Reversi++, 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Sebastian Junges, Erika Ábrahám, Hans Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. Parameter synthesis for Markov models : covering the parameter space, 181-259, Springer Science + Business Media B.V, 2024. |
| DOI | Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions, 127, ACM, 2024. |
| DOI | Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle Stoelinga. SAFEST: Fault Tree Analysis Via Probabilistic Model Checking, Annual reliability and maintainability symposium 2024 proceedings : January 22-25, 2024, the clyde hotel, albuquerque, new mexico, USA / RAMS 2024, 7 Seiten, IEEE, 2024. |
| DOI | Anastasiia Petrova. Model checking pPDA vs unambiguous automata, 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Dinis Vitorino. Most probable explanations in Bayesian Networks via weighted programming, 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains, Tools and algorithms for the construction and analysis of systems / bernd finkbeiner, laura kovács, editors. - Part 2, 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 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, Thirty-eighth AAAI conference on artificial intelligence : Februar 20–27, 2024, vancouver, canada / edited by michael wooldridge, jennifer dy, sriraam natarajan ; sponsored by the association for the advancement of artificial intelligence, 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 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 | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou. A Compositional Semantics of Boolean-Logic Driven Markov Processes, 701-716, IEEE, 2024. |