Satisfiability Checking for Mission-Time LTL.
Jianwen LiMoshe Y. VardiKristin Y. RozierPublished in: CAV (2) (2019)
Keyphrases
- model checking
- temporal logic
- linear temporal logic
- deterministic automata
- mission planning
- bounded model checking
- linear time temporal logic
- unmanned aerial vehicles
- cyber defense
- data mining
- finite automata
- search and rescue
- modal logic
- domain specific
- database systems
- image segmentation
- computer vision
- genetic algorithm
- machine learning