Parallel Replacement in Finite State Calculus

André Kempe Lauri Karttunen

Published in: CoRR (1996)

Keyphrases

finite state
markov chain
transition systems
markov decision processes
model checking
optimal policy
average cost
tree automata
action sets
machine learning
vector quantizer
policy iteration
least squares
context free
continuous time markov process