International Joint Conference on Artificial Intelligence
Twenty-Fourth International Joint Conference on Artificial Intelligence
Reading Tools
The Complexity of Model Checking Succinct Multiagent Systems
Huang, Chen, Su
Search conference