International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Using Criticality-Guided Diffusion for Counterfactual Traffic Scenario Generation | Adam Molin |
| 11:30 | Realistic Autonomous Vehicle Misbehavior Fault-Injection using Large Language Models | Alessio Gambi |
| 12:00 | ScenGen: Logic and Coverage-Guided Generation of Novel Autonomous Driving Scenarios | Jyotirmoy Deshmukh |