{"type":"ScholarlyArticle","title":"The Complexity of Model Checking Succinct Multiagent Systems","authors":[{"name":"Xiaowei Huang","slug":"xiaowei-huang","given":"Xiaowei","family":"Huang","affiliation":""},{"name":"Qingliang Chen","slug":"qingliang-chen","given":"Qingliang","family":"Chen","affiliation":""},{"name":"Kaile Su","slug":"kaile-su","given":"Kaile","family":"Su","affiliation":""}],"abstract":"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.","doi":null,"url":"https://ijcai.org/proceedings/2015/156","pdf":"https://ijcai.org/proceedings/2015/0156.pdf","markdown":"https://ijcai.org/proceedings/2015/156.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/156","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Model Verification / Model Checking","track":"Main Track","number":156,"pages":{"first":1076,"last":1081},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}