Constructing (Bi)Similar Finite State Abstractions using Asynchronous $l$-Complete Approximations.

Anne-Kathrin Schmuck Jörg Raisch

Published in: CoRR (2014)

Keyphrases

finite state
markov chain
markov decision processes
model checking
vector quantizer
tree automata
optimal policy
policy iteration
transition systems
business intelligence
continuous time markov process
np hard
probabilistic model
average cost
partially observable markov decision processes
context free