SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. - Weilin Luo; Yuhang Zheng; Rongzhen Ye; Hai Wan; Jianfeng Du; Pingjia Liang; Polong Chen (ASE, 2023)

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. - Weilin Luo; Pingjia Liang; Junming Qiu; Polong Chen; Hai Wan; Jianfeng Du; Weiyuan Fang (ISSTA, 2024)

Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. - Weilin Luo; Polong Chen; Hai Wan; Hongzhen Zhong; Shaowei Cai 001; Zhanhao Xiao (J. Syst. Softw., 2024)