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