Zhilin Wu

1 papers · 2016–2016 · 1 conference · across top CS/AI conferences

Conferences

IJCAI (1)

Top co-authors

Fu Song (1) Taolue Chen (1)

Papers

Verifying Pushdown Multi-Agent Systems against Strategy Logics IJCAI 2016