Embedded Files
Published:
ISoLA'24: CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. R Gu, T Kaige, A Høeg-Petersen, L Feng, K Larsen. [Link][Video]
FMAS'24: Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! R Gu. [Link][Video]
Accepted:
FSEN'25 (MarjanFest): Modelling Cyber-Physical Systems for Verification and Synthesis. R Gu. [To appear]
Page updated
Google Sites
Report abuse