Active Learning of One-Clock Timed Automata using Constraint Solving

Runqing Xu, Jie An, Bohua Zhan

Active automata learning in the framework of Angluin's $L^{\ast }$ algorithm has been applied to learning many kinds of automata models. In applications to timed models such as timed aut…