SAT-Based Automata Construction for LTL over Finite Traces.

Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu

Browse the full APSEC paper archive.