DeepCTL: Neural Branching-Time CTL Satisfiability Checking via Recursive Decision Trees.

Bingchang Yuan, Zhaohui Wang, Lingfeng Zhang, Jingran Yang, Bojie Shao, Min Zhang

Browse the full ICANN paper archive.