International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | The PEGASUS Methodology: How to Guarantee the Safety of Automated Driving Systems | Hardi Hungar |
| 17:00 | TConnected Dependability Cage: Run-Time Functional and Anomaly Monitoring for the Development and Operation of Safe Autonomous Vehicles | Igra Aslam, Abhishek Buragohain, Nour Habib, Andreas Rausch, Meng Zhang |
| 17:30 | Utilizing LLMs for Scenario Exploration of ADAS/AD Systems | Fin Heuer |