Bingchang Yuan, Zhaohui Wang, LingFeng Zhang, JingRan Yang, Bojie Shao, Min Zhang. DeepCTL: Neural Branching-Time CTL Satisfiability Checking via Recursive Decision Trees. In Walter Senn, Marcello Sanguineti, Ausra Saudargiene, Igor V. Tetko, Alessandro E. P. Villa, Viktor K. Jirsa, Yoshua Bengio, editors, Artificial Neural Networks and Machine Learning - ICANN 2025 - 34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, September 9-12, 2025, Proceedings, Part I. Volume 16068 of Lecture Notes in Computer Science, pages 26-41, Springer, 2025. [doi]
No reviews for this publication, yet.