The Complexity of Model Checking Succinct Multiagent Systems

Open in new window