Login / Signup
An explicit transition system construction approach to LTL satisfiability checking.
Jianwen Li
Lijun Zhang
Shufang Zhu
Geguang Pu
Moshe Y. Vardi
Jifeng He
Published in:
Formal Aspects Comput. (2018)
Keyphrases
</>
temporal logic
model checking
construction process
linear temporal logic
decision trees
optimal solution