Post navigation

Paper at NFM 2026
March 15, 2026
The paper “Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment” by Xaver Fink (RWTH & CERN), Borja Fernandez Adiego, Daniele Mirarchi, Eloise Matheson, Álvaro García González, Gianmarco Ricci (all CERN), Joost-Pieter Katoen has been accepted …
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 has been accepted for …
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 of Napels) has been accepted …