Learning One-Clock Timed Automata

Cham / Springer International Publishing (2020) [Contribution to a book, Contribution to a conference proceedings]

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)
Page(s): 444-462

Authors

Authors

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

Identifier

Downloads