Finite-State Dimension.

Jack Jie Dai James I. Lathrop Jack H. Lutz Elvira Mayordomo

Published in: ICALP (2001)

Keyphrases

finite state
markov chain
model checking
markov decision processes
optimal policy
vector quantizer
tree automata
context free
dynamic programming
continuous time bayesian networks
transition systems
average cost
temporal logic
language model
state space
action sets
machine learning