Learning One-Clock Timed Automata

Jie An, Mingshuai Chen, Bohua Zhan +2

We present an algorithm for active learning of deterministic timed automata with a single clock. The algorithm is within the framework of Angluin's $L^{\ast }$ algorithm and inspired by…