News

Paper at TACAS 2026

December 22, 2025

The paper entitled ““Multiple Long-Run and omega-Regular Objectives in MDPs” by Julius Ide, Joost-Pieter Katoen, Hannah Mertens and Tim Quatmann has been accepted for TACAS 2026, to be held in Turin,

Two papers of the MOVES group have been accepted for the European Symposium on Programming (ESOP) 2026 to be held in Turin, Italy. The paper “Error Localization, Certificates, and Hints for Probabilis

Paper at ICALEPCS 2025

December 12, 2025

The paper “Towards safe and robust neural network controllers at CERN: a review of methods and challenges” by Xaver Fink, Borja Fernandez Adiego (CERN), Brad Schofield (CERN) and Joost-Pieter Katoen h

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

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

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