TY  - RPRT
TI  - Learning One-Clock Timed Automata
AU  - Jie An
AU  - Mingshuai Chen
AU  - Bohua Zhan
AU  - Naijun Zhan
AU  - Miaomiao Zhang
PY  - 2020
UR  - https://arxiv.org/abs/1910.10680
ID  - 1910.10680
ER  -