Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).
Alberto CamachoEleni TriantafillouChristian J. MuiseJorge A. BaierSheila A. McIlraithPublished in: KnowProS@IJCAI (2016)
Keyphrases
- temporally extended goals
- linear temporal logic
- temporal logic
- heuristic search
- model checking
- symbolic model checking
- temporally extended
- classical planning
- modal logic
- story generation
- planning domains
- planning problems
- search algorithm
- ai planning
- formal specification
- finite number
- concurrent systems
- decision theoretic planning
- transition systems
- belief revision
- orders of magnitude
- search space