Finite-State Dimension and Real Arithmetic.

David Doty Jack H. Lutz Satyadev Nandakumar

Published in: Electron. Colloquium Comput. Complex. (2006)

Keyphrases

finite state
markov chain
model checking
markov decision processes
optimal policy
context free
tree automata
transition systems
continuous time bayesian networks
vector quantizer
average cost
action sets