Learning One-Clock Timed Automata

Cham / Springer International Publishing (2020) [Buchbeitrag, Beitrag zu einem Tagungsband]

The 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), April 25-30, 2020, Dublin, Ireland / Biere, Armin and Parker, David (Editors)
Seite(n): 444-462

Autorinnen und Autoren

Autorinnen und Autoren

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