Reachability Analysis of Sampling Based Planners.
Roland GeraertsMark H. OvermarsPublished in: ICRA (2005)
Keyphrases
- reachability analysis
- model checking
- markov decision processes
- planning problems
- state space
- planning domains
- timed automata
- incremental algorithms
- ai planning
- monte carlo
- heuristic search
- classical planning
- motion planning
- planning process
- initial state
- real time
- derived predicates
- planning systems
- temporal logic
- knowledge representation
- dynamic programming
- decision making
- learning algorithm