Finite-State Dimension and Real Arithmetic.

David Doty Jack H. Lutz Satyadev Nandakumar

Published in: ICALP (1) (2006)

Keyphrases

finite state
markov chain
markov decision processes
model checking
average cost
partially observable markov decision processes
tree automata
optimal policy
transition systems
vector quantizer
context free
finite state transducers