AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Talk

Time to Learn and Check - Enhancing Timed Automata Learning with Model Checking

Time: Sunday, 2.11

Room: Room C

Authors: Florian Lorber, Cheng Wang, Bernhard Aichernig, Martin Leucker