dc.contributor.author | Huang, Xiaowei | |
dc.contributor.author | Chen, Qingliang | |
dc.contributor.author | Su, Kaile | |
dc.date.accessioned | 2017-08-28T00:56:39Z | |
dc.date.available | 2017-08-28T00:56:39Z | |
dc.date.issued | 2015 | |
dc.identifier.issn | 1045-0823 | |
dc.identifier.uri | http://hdl.handle.net/10072/125328 | |
dc.description.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. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Association for the Advancement of Artificial Intelligence (AAAI) | |
dc.publisher.uri | https://www.ijcai.org/Abstract/15/156 | |
dc.relation.ispartofpagefrom | 1076 | |
dc.relation.ispartofpageto | 1082 | |
dc.relation.ispartofjournal | Proceedings of the International Joint Conference on Artificial Intelligence | |
dc.relation.ispartofvolume | 2015 | |
dc.subject.fieldofresearch | Artificial intelligence not elsewhere classified | |
dc.subject.fieldofresearchcode | 460299 | |
dc.title | The Complexity of Model Checking Succinct Multiagent Systems | |
dc.type | Journal article | |
dc.type.description | C1 - Articles | |
dc.type.code | C - Journal Articles | |
dc.description.version | Version of Record (VoR) | |
gro.rights.copyright | © 2015 International Joint Conference on Artificial Intelligence. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version. | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Su, Kaile | |