CAV 2020: 32ND INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
SLIDES

TarTar: a Timed Automata Repair Tool

Martin Kölbl, Stefan Leue and Thomas Wies