Song, Fu

4 publications

AAAI 2025 Training Verification-Friendly Neural Networks via Neuron Behavior Consistency Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang

AAAI 2019 Probabilistic Alternating-Time Μ-Calculus Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu

AAAI 2016 Global Model Checking on Pushdown Multi-Agent Systems Taolue Chen, Fu Song, Zhilin Wu

IJCAI 2016 Verifying Pushdown Multi-Agent Systems Against Strategy Logics Taolue Chen, Fu Song, Zhilin Wu