TY  - RPRT
TI  - Optimal controller synthesis for timed systems
AU  - Damien Busatto-Gaston
AU  - Benjamin Monmege
AU  - Pierre-Alain Reynier
PY  - 2023
DO  - 10.46298/lmcs-19(1:20)2023
UR  - https://arxiv.org/abs/2104.12577
ID  - 2104.12577
ER  -