Flat Parametric Counter Automata.

Marius Bozga Radu Iosif Yassine Lakhnech

Published in: Fundam. Informaticae (2009)

Keyphrases

cellular automata
real time
regular expressions
finite state
probabilistic automata
decision making
multimedia
case study
three dimensional
mobile robot
finite automata