Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu. SAT-Based Automata Construction for LTL over Finite Traces. In 27th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020. pages 1-10, IEEE, 2020. [doi]
Abstract is missing.