Normality and Finite-state Dimension of Liouville numbers

Satyadev Nandakumar Santhosh Kumar Vangapelli

Published in: CoRR (2012)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
context free
tree automata
average cost
state space
action sets
partially observable markov decision processes
vector quantizer
temporal logic
long run
vector quantization
distributed systems
objective function