Finite-state dimension and real arithmetic.

David Doty Jack H. Lutz Satyadev Nandakumar

Published in: Inf. Comput. (2007)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
distributed systems
average cost
continuous time bayesian networks
least squares
vector quantization
vector quantizer
tree automata