Sign in

An explicit transition system construction approach to LTL satisfiability checking.

Jianwen LiLijun ZhangShufang ZhuGeguang PuMoshe Y. VardiJifeng He
Published in: Formal Aspects Comput. (2018)
Keyphrases
  • temporal logic
  • model checking
  • construction process
  • linear temporal logic
  • decision trees
  • optimal solution