Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping.
Stefan PanjkovicAndrea MicheliAlessandro CimattiPublished in: AAAI (2022)
Keyphrases
- temporal planning
- plan execution
- temporal planner
- mutual exclusion
- plan generation
- domain independent
- ai planning
- simple temporal
- temporal constraints
- partial order
- heuristic search
- long distance
- state space
- durative actions
- classical planning
- plan recognition
- planning problems
- dynamic environments
- linear programming
- general purpose
- dynamic programming
- causal links