International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Engineering Safe AI for Cooperative and Automated Vehicles Across the Entire Lifecycle | Sven Hallerbach |
| 11:20 | No LiDAR, No Problems: A New Approach to Track Perception in the Formula Student | Bruno Steffen |
| 11:40 | Discussion: Teaching Safety of Autonomous Vehicles | A. Rausch, Th. Berger, F. Howar |