On a control-oriented notion of finite state approximation.

Danielle C. Tarraf

Published in: CACSD (2011)

Keyphrases

finite state
markov chain
model checking
markov decision processes
policy iteration algorithm
optimal policy
control system
context free
tree automata
temporal logic
action sets
machine learning
hidden markov models
vector quantizer
long run
average cost