Bridging the Gap Between AI and Reality • Rhodes, Greece
| Time | Topic | Authors |
| 14:30 | From UPPAAL to MIMOS & Back: the Past 30+ Years | Wang Yi |
| 14:50 | Hybrid Systems Models and the Incompleteness of Determinism | Edward Lee |
| 15:10 | UPPAAL in the Loop: Safe Controlling of Autonomous Systems via Model Checking | Rong Gu, Muhammad Naeem, Cristina Seceleanu |
| 15:30 | Wang, UPPAAL, STTT | Bernhard Steffen |