@inproceedings{ dblp2151418,
  title = {Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction},
  author = {Jianye Hao and Songzheng Song and Yang Liu and Jun Sun and Lin Gui and Jin Song Dong and Ho-fung Leung},
  author_short = {Hao, J. and Song, S. and Liu, Y. and Sun, J. and Gui, L. and Song Dong, J. and Leung, H.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2151418},
  id = {dblp2151418},
  url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/prima12.pdf},
  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":"6cvp4GBpXwn5R42sK","authorIDs":[],"author_short":["Hao, J.","Song, S.","Liu, Y.","Sun, J.","Gui, L.","Dong, J.<nbsp>S.","Leung, H.F"],"bibbaseid":"hao-song-liu-sun-gui-dong-leung-probabilisticmodelcheckingmultiagentbehaviorsindispersiongamesusingcounterabstraction-2012","bibdata":{"author":["Hao, Jianye","Song, Songzheng","Liu, Yang","Sun, Jun","Gui, Lin","Dong, Jin Song","Leung, Ho-fung"],"author_short":["Hao, J.","Song, S.","Liu, Y.","Sun, J.","Gui, L.","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 and Jun Sun and Lin Gui and Jin Song Dong and Ho-fung Leung},\n author_short = {Hao, J. and Song, S. and Liu, Y. and Sun, J. and Gui, L. and Song Dong, J. and Leung, H.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2151418},\n id = {dblp2151418},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/prima12.pdf},\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","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/prima12.pdf","year":"2012","bibbaseid":"hao-song-liu-sun-gui-dong-leung-probabilisticmodelcheckingmultiagentbehaviorsindispersiongamesusingcounterabstraction-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-32729-2_2"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/prima12.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.891Z","downloads":0,"keywords":[],"search_terms":["probabilistic","model","checking","multi","agent","behaviors","dispersion","games","using","counter","abstraction","hao","song","liu","sun","gui","dong","leung"],"title":"Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction","year":2012,"dataSources":["mpMYjTrc4gjXaNRQh"]}