Finitary Compositions of Two-way Finite-State Transductions.

Joost Engelfriet Hendrik Jan Hoogeboom

Published in: Fundam. Informaticae (2007)

Keyphrases

finite state
markov chain
markov decision processes
model checking
average cost
context free
optimal policy
finite state transducers
tree automata
action sets
hidden markov models
decision problems
partially observable markov decision processes