Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
automaton learning
Learning One-Clock Timed Automata
We present an algorithm for active learning of deterministic timed automata with a single clock. The algorithm is within the framework …
Jie An
,
Mingshuai Chen
,
Bohua Zhan
,
Naijun Zhan
,
Miaomiao Zhang
PDF
Cite
Slides
DOI
Artifact Evaluated
Best Paper Award @ FMAC 2019
Springer High-Impact Paper
Cite
×