Compiling Probabilistic Model Checking into Probabilistic Planning.
Michaela KlauckMarcel SteinmetzJörg HoffmannHolger HermannsPublished in: ICAPS (2018)
Keyphrases
- probabilistic planning
- model checking
- temporal logic
- heuristic search
- planning problems
- formal verification
- model checker
- planning under uncertainty
- symbolic model checking
- verification method
- formal methods
- decision theoretic planning
- finite state
- computation tree logic
- epistemic logic
- markov decision processes
- bounded model checking
- hill climbing
- state space