5 citations · 8 across the 11 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024★ 5 cited
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…
cs.FL2023★ 1 cited
Automata with Timers
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet +1
In this work, we study properties of deterministic finite-state automata with timers, a subclass of timed automata proposed by Vaandrager et al. as a candidate for an efficiently l…