Arenas of Finite State Machines

Giordano Pola Maria Domenica Di Benedetto Elena De Santis

Published in: CoRR (2011)

Keyphrases

optimal policy
finite state machines
model checking
finite state automata
state machine
hidden markov models
regular expressions
object oriented
digital circuits