19 citations · 33 across the 5 of their papers we have counts for
1 paper · 1 filter
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…