Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. Hao, J., Song, S., 0003, Y. L., 0001, J. S., 0002, L. G., Dong, J. S., & Leung, H.F In Proceedings of Pacific Rim International Conference on Multi-Agents (PRIMA), pages 16-30, 2012. Paper bibtex @inproceedings{ dblp2151418,
title = {Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction},
author = {Jianye Hao and Songzheng Song and Yang Liu 0003 and Jun Sun 0001 and Lin Gui 0002 and Jin Song Dong and Ho-fung Leung},
author_short = {Hao, J. and Song, S. and Liu 0003, Y. and Sun 0001, J. and Gui 0002, L. and Song Dong, J. and Leung, H.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2012},
key = {dblp2151418},
id = {dblp2151418},
biburl = {http://www.dblp.org/rec/bibtex/conf/prima/HaoSLSGDL12},
url = {http://dx.doi.org/10.1007/978-3-642-32729-2_2},
conference = {PRIMA},
pages = {16-30},
text = {PRIMA 2012:16-30},
booktitle = {Proceedings of Pacific Rim International Conference on Multi-Agents (PRIMA)}
}
Downloads: 0
{"_id":"9PksGxAReFsSbw87B","authorIDs":[],"author_short":["Hao, J.","Song, S.","0003, Y.<nbsp>L.","0001, J.<nbsp>S.","0002, L.<nbsp>G.","Dong, J.<nbsp>S.","Leung, H.F"],"bibbaseid":"hao-song-0003-0001-0002-dong-leung-probabilisticmodelcheckingmultiagentbehaviorsindispersiongamesusingcounterabstraction-2012","bibdata":{"author":["Hao, Jianye","Song, Songzheng","0003, Yang Liu","0001, Jun Sun","0002, Lin Gui","Dong, Jin Song","Leung, Ho-fung"],"author_short":["Hao, J.","Song, S.","0003, Y.<nbsp>L.","0001, J.<nbsp>S.","0002, L.<nbsp>G.","Dong, J.<nbsp>S.","Leung, H.F"],"bibtex":"@inproceedings{ dblp2151418,\n title = {Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction},\n author = {Jianye Hao and Songzheng Song and Yang Liu 0003 and Jun Sun 0001 and Lin Gui 0002 and Jin Song Dong and Ho-fung Leung},\n author_short = {Hao, J. and Song, S. and Liu 0003, Y. and Sun 0001, J. and Gui 0002, L. and Song Dong, J. and Leung, H.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2151418},\n id = {dblp2151418},\n biburl = {http://www.dblp.org/rec/bibtex/conf/prima/HaoSLSGDL12},\n url = {http://dx.doi.org/10.1007/978-3-642-32729-2_2},\n conference = {PRIMA},\n pages = {16-30},\n text = {PRIMA 2012:16-30},\n booktitle = {Proceedings of Pacific Rim International Conference on Multi-Agents (PRIMA)}\n}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/prima/HaoSLSGDL12","booktitle":"Proceedings of Pacific Rim International Conference on Multi-Agents (PRIMA)","conference":"PRIMA","id":"dblp2151418","key":"dblp2151418","pages":"16-30","text":"PRIMA 2012:16-30","title":"Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction","type":"inproceedings","url":"http://dx.doi.org/10.1007/978-3-642-32729-2_2","year":"2012","bibbaseid":"hao-song-0003-0001-0002-dong-leung-probabilisticmodelcheckingmultiagentbehaviorsindispersiongamesusingcounterabstraction-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-32729-2_2"},"downloads":0},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:13.063Z","downloads":0,"keywords":[],"search_terms":["probabilistic","model","checking","multi","agent","behaviors","dispersion","games","using","counter","abstraction","hao","song","0003","0001","0002","dong","leung"],"title":"Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction","year":2012,"dataSources":["ZtcgqYKBLHt2gfuHW"]}