Huaze Xu: Shielding for Autonomous Highway Driving with STARK
On Thursday 1 October 2026, 14:00-15:00, MF 3.122, Huaze will defend his Master thesis project titled Shielding for Autonomous Highway Driving with STARK Abstract: Reinforcement-learning-based autonomous driving agents can achieve effective driving behaviours, but their decisions are difficult to verify and may lead to unsafe situations. This thesis studies runtime safety shielding for the ABZ …continue reading
Valentina Castiglioni: Return to the origins: equivalences, approximations and metrics for nondeterministic probabilistic processes
In this talk, I will give an overview of the main instruments that I encountered during my PhD to reason formally on the behaviour of processes exhibiting both nondeterministic and probabilistic behaviour. We will talk about behavioural equivalences, their approximated versions and behavioural metrics. If time permits, we will also discuss the logical characterisations of …continue reading