On exploiting algebraic structure in control of finite state machines.

Danielle C. Tarraf

Published in: Allerton (2013)

Keyphrases

finite state machines
algebraic structure
model checking
control system
finite state automata
database
databases
data model
hidden markov models
data exchange
presburger arithmetic