Post navigation

December 22, 2025
Paper at TACAS 2026 The paper entiled ““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, …
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 …
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 Meet Occupation Measures: Invariant Synthesis …