AAAI Publications, Twenty-Fourth International Joint Conference on Artificial Intelligence

Font Size: 
The Complexity of Model Checking Succinct Multiagent Systems
Xiaowei Huang, Qingliang Chen, Kaile Su

Last modified: 2015-06-23


This paper studies the complexity of model checking multiagent systems, in particular systems succinctly described by two practical representations: concurrent representation and symbolic representation. The logics we concern include branching time temporal logics and several variants of alternating time temporal logics.

Full Text: PDF