Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic.
Charles DawsonChuchu FanPublished in: CoRR (2022)
Keyphrases
- temporal logic
- model checking
- temporally extended goals
- symbolic model checking
- modal logic
- satisfiability problem
- concurrent systems
- planning domains
- temporally extended
- computation tree logic
- verification method
- formal specification
- formal verification
- finite state
- transition systems
- temporal knowledge
- planning problems
- objective function
- model checker
- linear temporal logic
- bounded model checking
- ai planning
- reactive systems
- heuristic search
- knowledge based systems
- query language
- video sequences