TY  - RPRT
TI  - Determinisability of one-clock timed automata
AU  - Lorenzo Clemente
AU  - Sławomir Lasota
AU  - Radosław Piórkowski
PY  - 2020
UR  - https://arxiv.org/abs/2007.09340
ID  - 2007.09340
ER  -