Two Papers at LAFI 2026
December 3, 2025
The two papers “Verifying Sampling Algorithms via Distributional Invariants” by Kevin Batz (University College London), Joost-Pieter Katoen, Tobias Winkler and Daniel Zilken and “Generating Functions
News
MISSION at Space Tech Expo 2025
November 26, 2025
From November 18 to 20, 2025, the **[MISSION Project](https://mission-project.eu/)** was represented at the [**Space Tech Expo Europe**](https://www.spacetechexpo-europe.com/) in Bremen, Germany—Europ
Paper at Dafny 2026
November 14, 2025
The paper “Diagnostics in Probabilistic Program Verification” by Philipp Schröer, Darion Haase, and Joost-Pieter Katoen [has been accepted at the Dafny 2026 workshop](https://popl26.sigplan.org/detail
Paper in FMSD Journal
November 13, 2025
The paper “Search and Explore: Symbiotic Policy Synthesis in POMDPs” by Roman Andruishchenko (Brno University of Technology), Alexander Bork, Milan Češka (Brno University of Technology), Sebastian Jun
Papier in FSMD Journal
November 13, 2025
The paper “Search and Explore: Symbiotic Policy Synthesis in POMDPs” by Roman Andruishchenko (Brno University of Technology), Alexander Bork, Milan Češka (Brno University of Technology), Sebastian Jun
Paper at ICTAC 2025
August 30, 2025
The paper “_Weighted Automata for Exact Inference in Discrete Probabilistic Programs_” by Dominik Geißler (TU Berlin) and Tobias Winkler has been accepted for presentation at ICTAC 2025\. The paper ex
Paper in Journal on Automated Reasoning
July 16, 2025
The paper “Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate” by Hannah Mertens, Tim Quatmann, Tobias Winkler and Joost-Pieter Katoen has been accepted
Paper at ATVA 2026
July 5, 2025
The paper entitled “Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains” by Linus Heck (RU Nijmegen), Tim Quatmann, Jip Spel, Joost-Pieter Katoen and Sebastian Junges (RU
Two Papers at STTT
June 5, 2025
The two papers “[What is the Best Algorithm for MDP Model Checking?](https://doi.org/10.1007/s10009-025-00810-4)” by Tim Quatmann and “The Revised Practitioner’s Guide to MDP Model Checking Algorithms
Two papers at CONCUR 2025
May 27, 2025
Two papers of the MOVES group have been accepted at CONCUR 2025, the 36th International Conference on Concurrency Theory. It concerns the papers “Compositional Reasoning for Parametric Probabilistic A
Kevin Batz Receives ETAPS Dissertation Award
May 13, 2025
During the [ETAPS 2025 Conference](https://www.etaps.org/2025/) at Hamilton, Canada, Kevin Batz has received the prestigious [Doctoral Dissertation](https://www.etaps.org/awards/doctoral-dissertation/
Paper at UAI 2025
May 7, 2025
The paper entitled “Multi-Cost-Bounded Reachability Analysis of POMDPs” by Alexander Bork, Joost-Pieter Katoen, Tim Quatmann and Svenja Stein has been accepted for the 41st Conference on Uncertainty i
Paper at FSCD 2025
May 1, 2025
The paper entield "Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems" by Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl and Joost-Pieter Katoen has been accepted for the 10th Int
Paper at ICALP 2025
April 14, 2025
The paper entitled “Bayesian Inference in Quantum Programs” by Christina Gehnen, Dominique Unruh and Joost-Pieter Katoen has been accepted for presentation at the 52nd EATCS International Colloquium o
Two Papers at CAV 2025
April 3, 2025
The papers “Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains” by Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, and Jakob Piribauer and “Efficient Probabi