Show simple item record

dc.contributor.authorSong, S
dc.contributor.authorHao, J
dc.contributor.authorLiu, Y
dc.contributor.authorSun, J
dc.contributor.authorLeung, HF
dc.contributor.authorDong, JS
dc.contributor.editorGlinz, M.
dc.contributor.editorMurphy, G.
dc.contributor.editorPezze, M.
dc.date.accessioned2018-07-10T23:44:39Z
dc.date.available2018-07-10T23:44:39Z
dc.date.issued2012
dc.identifier.isbn9781467310673
dc.identifier.issn0270-5257
dc.identifier.doi10.1109/ICSE.2012.6227085
dc.identifier.urihttp://hdl.handle.net/10072/172976
dc.description.abstractMulti-agent systems, which are composed of autonomous agents, have been successfully employed as a modeling paradigm in many scenarios. However, it is challenging to guarantee the correctness of their behaviors due to the complex nature of the autonomous agents, especially when they have stochastic characteristics. In this work, we propose to apply probabilistic model checking to analyze multi-agent systems. A modeling language called PMA is defined to specify such kind of systems, and LTL property and logic of knowledge combined with probabilistic requirements are supported to analyze system behaviors. Initial evaluation indicates the effectiveness of our current progress; meanwhile some challenges and possible solutions are discussed as our ongoing work.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherIEEE - Institute of Electrical and Electronics Engineers
dc.publisher.placeUnited States of America
dc.relation.ispartofconferencenameICSE 2012 34th International Conference on Software Engineering
dc.relation.ispartofconferencetitleProceedings - International Conference on Software Engineering
dc.relation.ispartofdatefrom2012-06-02
dc.relation.ispartofdateto2012-06-09
dc.relation.ispartoflocationZurich, Switzerland
dc.relation.ispartofpagefrom1337
dc.relation.ispartofpageto1340
dc.relation.ispartofedition1st
dc.subject.fieldofresearchSoftware engineering not elsewhere classified
dc.subject.fieldofresearchcode461299
dc.titleAnalyzing multi-agent systems with probabilistic model checking approach
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionAccepted Manuscript (AM)
gro.rights.copyright© 2012 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
gro.hasfulltextFull Text
gro.griffith.authorDong, Jin-Song


Files in 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