The Complexity of Model Checking Succinct Multiagent Systems
Huang, Xiaowei (University of New South Wales and Jinan University) | Chen, Qingliang (Jinan University) | Su, Kaile (Griffith University and Jinan University)
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.
Jul-15-2015