Repairing Timed Automata Clock Guards through Abstraction and Testing.

tienne Andr, Paolo Arcaini, Angelo Gargantini, Marco Radavelli

Browse the full TAP paper archive.