Checking LTL Satisfiability via End-to-end Learning. - Weilin Luo; Hai Wan; Delong Zhang; Jianfeng Du; Hengdi Su (ASE, 2022)