%0 Conference Paper %1 conf/prima/HaoSLSGDL12 %A Hao, Jianye %A Song, Songzheng %A Liu, Yang %A Sun, Jun %A Gui, Lin %A Dong, Jin Song %A fung Leung, Ho %B PRIMA %D 2012 %E Rahwan, Iyad %E Wobcke, Wayne %E Sen, Sandip %E Sugawara, Toshiharu %I Springer %K dblp %P 16-30 %T Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. %U http://dblp.uni-trier.de/db/conf/prima/prima2012.html#HaoSLSGDL12 %V 7455 %@ 978-3-642-32728-5

@inproceedings{conf/prima/HaoSLSGDL12, added-at = {2023-06-26T00:00:00.000+0200}, author = {Hao, Jianye and Song, Songzheng and Liu, Yang and Sun, Jun and Gui, Lin and Dong, Jin Song and fung Leung, Ho}, biburl = {https://www.bibsonomy.org/bibtex/24f5baf1372cfcfe07e437c2daba7432a/dblp}, booktitle = {PRIMA}, crossref = {conf/prima/2012}, editor = {Rahwan, Iyad and Wobcke, Wayne and Sen, Sandip and Sugawara, Toshiharu}, ee = {https://doi.org/10.1007/978-3-642-32729-2_2}, interhash = {bd8917e1b01fcdfe07ca7af035870e3d}, intrahash = {4f5baf1372cfcfe07e437c2daba7432a}, isbn = {978-3-642-32728-5}, keywords = {dblp}, pages = {16-30}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:42:09.000+0200}, title = {Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/prima/prima2012.html#HaoSLSGDL12}, volume = 7455, year = 2012 }