Our PhD students Eline, Miriam, and Jule had the opportunity to attend the 3rd European Summer School on Artificial Intelligence (ESSAI) in Bratislava, Slovakia. The program brought together researchers and (doctoral) students from across Europe to explore new fields and deepen their knowledge in various fields and cutting-edge research in

Our lab had the pleasure of presenting at ICLR 2025 in Singapore! Markel Zubia and Thiago D. Simão represented the team, sharing our latest work on improving the safety of reinforcement learning agents when dropped into unfamiliar territory.Reinforcement learning is great at learning through trial and error, but that can

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