DeepCTL: Neural Branching-Time CTL Satisfiability Checking via Recursive Decision Trees. - Bingchang Yuan; Zhaohui Wang; Lingfeng Zhang; Jingran Yang; Bojie Shao; Min Zhang (ICANN (1), 2025)