Show simple item record

dc.contributor.authorHuang, Xiaowei
dc.contributor.authorSu, Kaile
dc.contributor.authorZhang, Chenyi
dc.contributor.editorJörg Hoffmann and Bart Selman
dc.date.accessioned2017-05-03T14:39:45Z
dc.date.available2017-05-03T14:39:45Z
dc.date.issued2012
dc.date.modified2013-06-12T23:19:58Z
dc.identifier.refurihttp://www.aaai.org/Conferences/AAAI/aaai12.php
dc.identifier.urihttp://hdl.handle.net/10072/48851
dc.description.abstractA probabilistic variant of ATL* logic is proposed to work with multi-player games of incomplete information and synchronous perfect recall. The semantics of the logic is settled over probabilistic interpreted system and partially observed probabilistic concurrent game structure. While unexpectedly, the model checking problem is in general undecidable even for single-group fragment, we find a fragment whose complexity is in 2-EXPTIME. The usefulness of this fragment is shown over a land search scenario
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherAAAI Press
dc.publisher.placeCanada
dc.publisher.urihttp://www.aaai.org/Conferences/AAAI/aaai12.php
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameAAAI 2012
dc.relation.ispartofconferencetitleProceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence
dc.relation.ispartofdatefrom2012-07-22
dc.relation.ispartofdateto2012-07-26
dc.relation.ispartoflocationToronto, Ontario, Canada
dc.rights.retentionY
dc.subject.fieldofresearchComputational logic and formal languages
dc.subject.fieldofresearchcode461303
dc.titleProbabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.date.issued2012
gro.hasfulltextNo Full Text
gro.griffith.authorSu, Kaile


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record