Paper Accepted for CAV 2020
The paper "TarTar: A Timed Automata Repair Tool", authored by Martin Kölbl, Stefan Leue and Thomas Wies (New York University) has been accepted for the 32st International Conference on Computer-Aided Verification CAV 2020, to be held in Los Angeles in July, 2020.