Taolue Chen

School of Computing and Mathematical Sciences , Birkbeck , University of London , UK

2 papers in the IJCAI proceedings

IJCAI 2025

Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving

with Bingzhe Zhou, Hannan Wang, Yuan Yao, Feng Xu, Xiaoxing Ma

doi:10.24963/ijcai.2025/887

Details PDF

IJCAI 2016

Verifying Pushdown Multi-Agent Systems against Strategy Logics

with Fu Song, Zhilin Wu

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings