Learning Deterministic Multi-Clock Timed Automata

Yu Teng, Miaomiao Zhang, Jie An

We present an algorithm for active learning of deterministic timed automata with multiple clocks. The algorithm is within the querying framework of Angluin's $L^{\ast }$ algorithm and fo…