Satisfiability Checking for Mission-Time LTL.

Jianwen Li Moshe Y. Vardi Kristin Y. Rozier

Published 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