Two-Dimensional Finite State Recognizability.

Dora Giammarresi Antonio Restivo

Published in: Fundam. Informaticae (1996)

Keyphrases

finite state
markov chain
markov decision processes
model checking
three dimensional
optimal policy
context free
partially observable markov decision processes
tree automata
data mining
transition systems
finite state transducers
action sets
completely independent