Distinguished Artefact@ETAPS26
May 4, 2026
The paper “Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops” by Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Kaminski (Saarland Univ.), Joost-Pieter Kato
News
Paper in Information and Computation
May 4, 2026
The paper entitled “On Termination of Polynomial Programs with Equality Conditions” by Yangjia Li (ISCAS), Mingshuai Chen (Zhejiang Univ.), Liangran Zhao (Peking Univ.), Naijun Zhan (Peking Univ.), Hu
Paper at CAV 2026
April 21, 2026
The research paper “Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families” by Sebastian Junges, Luko van der Maas (both Radboud University, Nijmegen), Milan Ceska, Filip Macá
Tool Paper at CAV 2026
April 20, 2026
The tool paper “Caesar: A Deductive Verifier for Probabilistic Programs” by Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Ma
Paper at RExAI 2026
April 7, 2026
The paper entitled “Verifying STL Properties of Sliding-Window Neural Classifiers under Adversarial Perturbations” by Xaver Fink (CERN+RWTH), Borja Adiego Fernandez (CERN) and Joost-Pieter Katoen has
Paper at NFM 2026
March 15, 2026
| [ ](https://openreview.net/forum?id=EqC9LsJLIt&referrer=%5BAuthor%20Console%5D%28%2Fgroup%3Fid%3DNFM%2F2026%2FSymposium%2FAuthors%23your-submissions%29) | | -----------------------------------------
Storm Tutorial at FM 2026
March 10, 2026
The tutorial “Probabilistic Model Checking Taken by Storm” by Matthias Volk (Eindhoven Univ. of Technology), Linus Heck, Sebastian Junges (Radboud University), Joost-Pieter Katoen, and Tim Quatmann ha
MOVES Söllerhaus Workshop
February 12, 2026
From January 23 to 30, the MOVES Group organised the **10th edition** of its famous **Söllerhaus Workshop** at Hirschegg in Kleinwalsertal, Austria. Again, it was a very successful event, full of rese
Paper at AAMAS 2026
February 12, 2026
The paper entitled “Verification of Robust Multi-Agent Systems” by Raphael Berthon, Munyque Myttelmann, (CNRS, LIPN, Sorbonne Paris North University) Joost-Pieter Katoen and Nello Morano (University o
1-2-3 Papers at Formal Methods 2026
February 8, 2026
The following three papers have been accepted for the 27th Symposium on Formal Methods (2026) in Tokyo, Japan: (1) Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking by Arnd
Test
January 1, 2026
# This is a h1 heading This is a paragraph in the test markdown file. ## This is a h2 heading Here is a list: - Item 1 - Item 2 - Item 3 - Subitem 1 - Subitem 2 - Subsubitem 1 - Subitem 3
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, I
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 at ESOP 2026
December 22, 2025
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