@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)}
}

{"_id":"uJMPxrBKWyMgi9FFh","authorIDs":["54cf20e291c843ab6e000447"],"author_short":["Hao, J.","Song, S.","Liu 0003, Y.","Sun 0001, J.","Gui 0002, L.","Song Dong, J.","Leung, H."],"bibbaseid":"hao-song-liu0003-sun0001-gui0002-songdong-leung-probabilisticmodelcheckingmultiagentbehaviorsindispersiongamesusingcounterabstraction-2012","bibdata":{"title":"Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction","author":["Jianye Hao","Songzheng Song","Yang Liu 0003","Jun Sun 0001","Lin Gui 0002","Jin Song Dong","Ho-fung Leung"],"author_short":["Hao, J.","Song, S.","Liu 0003, Y.","Sun 0001, J.","Gui 0002, L.","Song Dong, J.","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)","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}","bibbaseid":"hao-song-liu0003-sun0001-gui0002-songdong-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://www.dblp.org/rec/bibtex/conf/prima/HaoSLSGDL12","creationDate":"2015-02-02T07:01:54.706Z","downloads":0,"keywords":[],"search_terms":["probabilistic","model","checking","multi","agent","behaviors","dispersion","games","using","counter","abstraction","hao","song","liu 0003","sun 0001","gui 0002","song dong","leung"],"title":"Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction","year":2012,"dataSources":["vzzY9kZHh5d6zopp3"]}