ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Session

AI in Safety Critical Systems • Monday, 26.10

Room: Room 1
TimeTopicAuthors
14:30Investigating Generative AI for Explaining Branch-and-Bound Optimization Outcomes in Train DispatchingShiva Alsharif
15:00Traffic Sequence Charts as a Backbone for the Assurance Chain: Linking Hazards, Scenarios, Requirements, and Tests in a Traceable MannerEike Möhlmann
15:30Learning Tire Behavior from Full-Vehicle Measurements: A Hybrid Physics–AI Vehicle Dynamics ModelAlexander Riebau