Temporal Planning with Extended Timed Automata.
Christine LargouëtOmar KrichenYulong ZhaoPublished in: ICTAI (2016)
Keyphrases
- timed automata
- temporal planning
- mutual exclusion
- temporal planner
- temporal planning problems
- model checking
- plan generation
- ai planning
- theorem prover
- simple temporal
- durative actions
- temporal constraints
- partial order
- heuristic search
- theorem proving
- plan execution
- long distance
- orders of magnitude
- machine learning
- temporal logic
- first order logic