Extracting mutual exclusion invariants from lifted temporal planning domains.
Sara BernardiniFabio FagnaniDavid E. SmithPublished in: Artif. Intell. (2018)
Keyphrases
- mutual exclusion
- planning domains
- temporal planning
- ai planning
- planning problems
- long distance
- international planning competition
- orders of magnitude
- domain independent
- htn planning
- search strategies
- planning systems
- model checking
- partial order planning
- enforced hill climbing
- partial observability
- macro operators
- temporal information
- partially observable
- temporal reasoning
- heuristic search
- deterministic finite automaton
- state space