Embedded Files
Why is there something rather than nothing?
Selected Presentations
Selected Presentations
LiVe'24 - Integrating the Power of Machine Learning and Model Checking in Safety-Critical Systems
ISoLA'24 - CommonUppRoad:
A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles
FMAS'24 - Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!
Page updated
Google Sites
Report abuse