Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract).
Luca GeattiAlessandro GianolaNicola GigantePublished in: TIME (2023)
Keyphrases
- extended abstract
- linear temporal logic
- model checking
- bounded model checking
- temporally extended goals
- temporal logic
- modulo theories
- classical planning
- linear time temporal logic
- formal verification
- model checker
- heuristic search
- concurrent systems
- planning domains
- ai planning
- answer set programming
- planning problems
- modal logic
- formal specification
- formal methods
- stable model semantics
- transition systems
- domain independent