Bridging the Gap Between AI and Reality • Rhodes, Greece
| Time | Topic | Authors |
| 11:00 | LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems | Khashayar Etemadi, Marjan Sirjan, Mahshid Helali Moghadam, Per Strandberg, Paul Pettersson |
| 11:30 | TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning | Jie He, Vincent Theo Willem Kenbeek, Zhantao Yang, Meixun Qu, Ezio Bartocci, Dejan Ničković, Radu Grosu |
| 12:00 | Integrating LLMs with QC-OpenDRIVE: Ensuring Normative Correctness in Autonomous Driving Scenarios | Julian Müller, Thies de Graaff, Eike Möhlmann |