Learning One-Clock Timed Automata.

Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

Browse the full TACAS paper archive.