{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:36:10Z","timestamp":1742636170531,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227085","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"1337-1340","source":"Crossref","is-referenced-by-count":7,"title":["Analyzing multi-agent systems with probabilistic model checking approach"],"prefix":"10.1109","author":[{"given":"Songzheng","family":"Song","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianye","family":"Hao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ho-Fung","family":"Leung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"441","article-title":"PRISM: A Tool for Automatic Verification of Probabilistic Systems","author":"hinton","year":"2006","journal-title":"TACAS"},{"key":"2","first-page":"479","article-title":"Mck: Model checking the logic of knowledge","author":"gammie","year":"2004","journal-title":"CAV"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16901-4_26"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22359-4_14"},{"journal-title":"Reasoning About Knowledge","year":"1995","author":"moses","key":"7"},{"key":"6","first-page":"280","article-title":"Symbolic model checking the knowledge of the dining cryptographers","author":"meyden","year":"2004","journal-title":"CSFW"},{"key":"5","first-page":"450","article-title":"Mcmas: A model checker for multi-agent systems","author":"lomuscio","year":"2006","journal-title":"TACAS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/2000378.2000399"},{"key":"9","first-page":"123","article-title":"Fair model checking with process counter abstraction","author":"sun","year":"2009","journal-title":"FM"},{"key":"8","first-page":"709","article-title":"PAT: Towards Flexible Verification under Fairness","author":"sun","year":"2009","journal-title":"CAV"},{"key":"11","first-page":"398","article-title":"Dispersion games: General definitions and some specific learning results","author":"shoham","year":"2002","journal-title":"AAAI"},{"key":"12","first-page":"77","article-title":"Predicting the expected behavior of agents that learn about agents: The clri framework","volume":"6","author":"vidal","year":"2003","journal-title":"AAMAS"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227085.pdf?arnumber=6227085","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T19:50:31Z","timestamp":1490125831000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227085\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227085","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}