TY  - RPRT
TI  - Repairing Timed Automata Clock Guards through Abstraction and Testing
AU  - Étienne André
AU  - Paolo Arcaini
AU  - Angelo Gargantini
AU  - Marco Radavelli
PY  - 2019
UR  - https://arxiv.org/abs/1907.02133
ID  - 1907.02133
ER  -