The Complexity of Model Checking Succinct Multiagent Systems.

Xiaowei Huang, Qingliang Chen, Kaile Su

Browse the full IJCAI paper archive.