We were pleased to welcome Assistant Professor Thiago D. Simão from Eindhoven University of Technology (TU/e) for a guest lecture on Safety and Reliability in Reinforcement Learning. Thiago D. Simão (he/him) is an Assistant Professor in the Department of Mathematics and Computer Science at TU/e. He received his Ph.D. from

In the week of 31.03.-04.04., the AI-FM team attended two workshops: the first edition of the Storm Days and the ROCKS Workshop 2025. Storm Days This event was aimed at users of the probabilistic model checker Storm, and the programme ranged from demonstrations of the newest features, research presentations of

Our group had the pleasure of traveling to Nijmegen to celebrate a big milestone for Thom Badings—his PhD Defense at Radboud University Nijmegen, supervised by Nils Jansen and Marielle Stoelinga! On this occasion, Thom also organized an accompanying symposium. Advances in Robust Verification of Stochastic Systems It was an inspiring

Another great AI-FM workshop comes to an end. We had several days of great talks, discussions, focused working groups, and a lot of fun! The topics covered in this workshop included: Uncertainty-Aware Perception (in RL), Missingness, Adversarial POMDPs, Causality-based Feature Reduction, Active Measure MDPs, and much more. These workshops have