Automata with Timers.

Véronique Bruyère Guillermo A. Pérez Gaëtan Staquet Frits W. Vaandrager

Published in: FORMATS (2023)

Keyphrases

cellular automata
finite automata
finite state machines
probabilistic automata
finite state
lattice gas
regular expressions
tree automata
finite state automata
search algorithm
special case
dynamic programming
mobile robot
model checking
communication systems
timed automata