Symposium on Advances in Robust Verification of Stochastic Systems

Intelligent decision-making systems are increasingly entering our everyday lives. These systems operate in complex, stochastic, and uncertain environments. Thus, we need rigorous methods to verify that these systems behave safely and reliably.

On Thursday, March 27th 2025 (10:30 - 15:00), we organize a free-of-charge symposium on the topic of robust verification of stochastic systems. We have a fantastic line-up of six speakers from control theory, formal methods, operations research, and AI who will share their vision on rigorous and automated decision-making under uncertainty. The symposium aims to bring together researchers and practitioners active in these areas, allowing them to expand their network, share experiences, and initiate new collaborations.

Confirmed speakers

• Dr. Frans Oliehoek (TU Delft - Sequential Decision Making group)

• Dr. Jana Tůmová (KTH Stockholm - Division of Robotics, Perception and Learning)

• Prof. Alessandro Abate (University of Oxford - Oxford Control and Verification group)

• Dr. Manuel Mazo Jr. (TU Delft - Delft Center for Systems and Control)

• Prof. Guillermo Pérez (University of Antwerp - Formal Techniques in Software Engineering)

• Dr. Ahmadreza Marandi (TU Eindhoven - Operations, Planning, Accounting, and Control group)

Topics

Our speakers, with backgrounds in control theory, formal methods, operations research, and AI, are experts in a range of different topics, including:

• Reinforcement learning

• Markov decision processes

• Robust optimization

• Planning and learning in robotics

• Data-driven control

PhD defence
The symposium is followed by the PhD defence of Thom Badings, who will defend his thesis on the topic of "Robust Verification of Stochastic Systems." The defence takes place at 16:30 in the Aula of the Radboud University (Comeniuslaan 2, 6525HP Nijmegen, The Netherlands).