International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | Bridging Scenario Data Gaps with Generative AI for Dependable CCAM | Thanh Bui, Fredrik Warg, Son Tong |
| 15:00 | Workflow-Level Design Principles for Trustworthy GenAI in Automotive Systems Engineering | Chih-Hong Cheng, Brian Hsuan-Cheng Liao, Adam Molin, Hasan Esen |
| 15:30 | Robust Translation of Natural Language into Traffic Sequence Charts and Co-Simulation with Human Driver Models | Julian Müller, Jan-Patrick Osterloh, Lars Weber, Eike Möhlmann |