TY  - RPRT
TI  - State estimation of timed automata under partial observation [Draft version]
AU  - Chao Gao
AU  - Dimitri Lefebvre
AU  - Carla Seatzu
AU  - Zhiwu Li
AU  - Alessandro Giua
PY  - 2024
UR  - https://arxiv.org/abs/2409.05810
ID  - 2409.05810
ER  -