Proceedings

Fu Song

1 paper in the IJCAI proceedings

IJCAI 2016

Verifying Pushdown Multi-Agent Systems against Strategy Logics
with Taolue Chen, Zhilin Wu
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards