SAT-based Explicit LTLf Satisfiability Checking

Jianwen Li, Kristin Y. Rozier, Geguang Pu +2

We present here a SAT-based framework for LTLf (Linear Temporal Logic on Finite Traces) satisfiability checking. We use propositional SAT-solving techniques to construct a transiti…