PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.
Sergiy BogomolovDaniele MagazzeniStefano MinopoliMartin WehrlePublished in: ICAPS (2015)
Keyphrases
- hybrid automata
- ai planning
- planning domains
- planning problems
- derived predicates
- planning systems
- heuristic search
- temporal planning
- artificial intelligence
- finite state automata
- planning tasks
- durative actions
- classical planning
- orders of magnitude
- domain independent
- database
- global constraints
- soft constraints
- situation calculus
- plan generation
- optimal planning
- mutual exclusion
- domain specific