Show simple item record

dc.contributor.authorHuang, Xiaowei
dc.contributor.authorChen, Qingliang
dc.contributor.authorSu, Kaile
dc.date.accessioned2017-08-28T00:56:39Z
dc.date.available2017-08-28T00:56:39Z
dc.date.issued2015
dc.identifier.issn1045-0823
dc.identifier.urihttp://hdl.handle.net/10072/125328
dc.description.abstractThis 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.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherAssociation for the Advancement of Artificial Intelligence (AAAI)
dc.publisher.urihttps://www.ijcai.org/Abstract/15/156
dc.relation.ispartofpagefrom1076
dc.relation.ispartofpageto1082
dc.relation.ispartofjournalProceedings of the International Joint Conference on Artificial Intelligence
dc.relation.ispartofvolume2015
dc.subject.fieldofresearchArtificial intelligence not elsewhere classified
dc.subject.fieldofresearchcode460299
dc.titleThe Complexity of Model Checking Succinct Multiagent Systems
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
dc.description.versionVersion 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.hasfulltextFull Text
gro.griffith.authorSu, Kaile


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record