Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.
Alberto CamachoEleni TriantafillouChristian J. MuiseJorge A. BaierSheila A. McIlraithPublished in: AAAI (2017)
Keyphrases
- temporally extended goals
- linear temporal logic
- temporal logic
- heuristic search
- model checking
- temporally extended
- symbolic model checking
- classical planning
- planning domains
- concurrent systems
- multi agent systems
- probabilistic planning
- formal specification
- decision theoretic planning
- fully observable
- modal logic
- belief revision
- search space