SAT-Based Automata Construction for LTL over Finite Traces

2020 27th Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec51365.2020.00008 ◽

2020 ◽

Author(s):

Yingying Shi ◽

Shengping Xiao ◽

Jianwen Li ◽

Jian Guo ◽

Geguang Pu

Download Full-text