Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals.
Jorge TorresJorge A. BaierPublished in: IJCAI (2015)
Keyphrases
- temporally extended goals
- temporal logic
- heuristic search
- linear temporal logic
- temporally extended
- model checking
- deterministic automata
- state space
- modal logic
- general purpose
- symbolic model checking
- computational complexity
- transition systems
- belief revision
- heuristic function
- learning algorithm
- linear programming
- multi agent systems
- multi agent