| 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 | Philipp Berger.
Applying software model checking,
RWTH Aachen University, 2024. |
| DOIFull Text | Kevin Batz.
Automated deductive verification of probabilistic programs,
RWTH Aachen University, 2024. |
| DOIFull Text | Alexander Ferber.
Combining integer programs and graph grammars,
RWTH Aachen University, 2024. |
| DOIFull Text | Tobias Winkler.
Complexity and decidability of multi-objective stochastic games,
RWTH Aachen University, 2024. |
| DOIFull Text | Naomi Barth.
Compositional control-flow reduction for probabilistic model checking,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| Daniel Zilken.
Distributional invariants for probabilistic programs,
2024. |
| DOIFull Text | Patrick Nossol.
Entailments in quantitative separation logic with recursive definitions,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 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. |
| Jakob van Sprang.
Heuristic synthesis of spare parts inventories using dynamic fault trees,
2024. |
| Sven Büge.
Implementing Goal-HSVI for POMDPs in the probabilistic model checker Storm,
2024. |
| DOIFull Text | Tom Biskup.
Invariant-based strategy synthesis for nondeterministic probabilistic programs,
RWTH Aachen University, 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. |
| 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. |
| Patrick Arens.
MARVEL,
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. |
| 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. |
| Roy Hermanns.
Optimized routing for shuttling-based quantum processing architectures,
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 | Bahare Salmani Barzoki.
Probabilistic model checking and parameter tuning for Bayesian networks,
RWTH Aachen University, 2024. |
| DOIFull Text | Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler.
Programmatic Strategy Synthesis,
pages 93, ACM, 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. |