Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic.
Alessandro CimattiAndrea MicheliMarco RoveriPublished in: AAAI (2017)
Keyphrases
- temporal planning
- linear temporal logic
- classical planning
- plan generation
- temporal planner
- plan execution
- durative actions
- domain independent
- planning problems
- heuristic search
- state space
- causal links
- planning graph
- planning systems
- ai planning
- planning domains
- temporal constraints
- mutual exclusion
- temporal logic
- initial state
- plan recognition
- model checking
- dynamic environments
- partially observable
- heuristic function
- domain specific
- machine learning
- search problems
- temporal reasoning
- np hard