Satisfiability checking for Mission-time LTL (MLTL).
Jianwen LiMoshe Y. VardiKristin Y. RozierPublished in: Inf. Comput. (2022)
Keyphrases
- model checking
- linear temporal logic
- temporal logic
- bounded model checking
- deterministic automata
- linear time temporal logic
- space shuttle
- mission planning
- cooperative
- unmanned aerial vehicles
- feature selection
- data sets
- multi agent systems
- logic programs
- three dimensional
- web pages
- information retrieval
- cyber defense