A Comparison of Succinctly Represented Finite-State Systems.

Romain Brenguier Stefan Göller Ocan Sankur

Published in: CONCUR (2012)

Keyphrases

finite state
markov chain
markov decision processes
model checking
retrieval systems
pattern matching
dynamical systems
context free