Active Learning of Mealy Machines with Timers

Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez +2

We present the first algorithm for query learning Mealy machines with timers in a black-box context. Our algorithm is an extension of the L# algorithm of Vaandrager et al. to a tim…