12 citations · 39 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…
cs.FL2023
Action Codes
Frits Vaandrager, Thorsten Wißmann
We provide a new perspective on the problem how high-level state machine models with abstract actions can be related to low-level models in which these actions are refined by seque…