Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs.
Vahid HashemiAndrea TurriniErnst Moritz HahnHolger HermannsKhaled M. ElbassioniPublished in: SETTA (2017)
Keyphrases
- deterministic finite state automata
- markov decision processes
- probabilistic planning
- optimal planning
- special case
- reinforcement learning
- generative model
- heuristic search
- state space
- probabilistic model
- uncertain data
- machine learning
- computational complexity
- rough sets
- model checking
- approximation algorithms
- belief networks
- markov decision process
- finite horizon
- dynamic programming
- markov decision problems
- decomposable negation normal form