5 citations · 7 across the 2 of their papers we have counts for
3 papers
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…
A New Approach for Active Automata Learning Based on Apartness
Frits Vaandrager, Bharat Garhewal, Jurriaan Rot +1
We present , a new and simple approach to active automata learning. Instead of focusing on equivalence of observations, like the algorithm and its descendants, $…
Grey-Box Learning of Register Automata
Bharat Garhewal, Frits Vaandrager, Falk Howar +3
Model learning (a.k.a. active automata learning) is a highly effective technique for obtaining black-box finite state models of software components. Thus far, generalisation to inf…