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
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 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