Computing Infinite Plans for LTL Goals Using a Classical Planner.
Fabio PatriziNir LipovetzkyGiuseppe De GiacomoHector GeffnerPublished in: IJCAI (2011)
Keyphrases
- temporally extended goals
- heuristic search
- classical planning
- temporal logic
- temporally extended
- planning domains
- planning process
- conformant planning
- symbolic model checking
- linear temporal logic
- planning problems
- model checking
- domain independent
- ai planning
- state space
- plan execution
- automated planning
- search algorithm
- partial plans
- planning systems
- decision theoretic planning
- plan quality
- initial state
- qualitative simulation
- plan recognition
- search space
- case based planning
- forward search
- search strategies
- temporal planning
- sensing actions
- modal logic
- orders of magnitude
- nondeterministic domains