Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison.
Michaela KlauckMarcel SteinmetzJörg HoffmannHolger HermannsPublished in: J. Artif. Intell. Res. (2020)
Keyphrases
- model checking
- probabilistic planning
- temporal logic
- finite state
- heuristic search
- planning problems
- model checker
- formal verification
- verification method
- planning under uncertainty
- decision theoretic planning
- planning domains
- epistemic logic
- formal methods
- linear programming
- markov decision processes
- general purpose
- knowledge base
- infinite horizon
- markov decision process
- learning algorithm
- computation tree logic
- partially observable
- decision theoretic
- optimal control
- markov chain
- search space
- optimal solution