%0 Conference Paper %1 conf/atal/JamrogaKP16 %A Jamroga, Wojciech %A Konikowska, Beata %A Penczek, Wojciech %B AAMAS %D 2016 %E Jonker, Catholijn M. %E Marsella, Stacy %E Thangarajah, John %E Tuyls, Karl %I ACM %K dblp %P 1180-1189 %T Multi-Valued Verification of Strategic Ability. %U http://dblp.uni-trier.de/db/conf/atal/aamas2016.html#JamrogaKP16 %@ 978-1-4503-4239-1

@inproceedings{conf/atal/JamrogaKP16, added-at = {2016-05-20T00:00:00.000+0200}, author = {Jamroga, Wojciech and Konikowska, Beata and Penczek, Wojciech}, biburl = {https://www.bibsonomy.org/bibtex/224cd0762908e6d56ac265fd67bed851b/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2016}, editor = {Jonker, Catholijn M. and Marsella, Stacy and Thangarajah, John and Tuyls, Karl}, ee = {http://dl.acm.org/citation.cfm?id=2937097}, interhash = {67f952bb7c99da5b747b5d78807e483a}, intrahash = {24cd0762908e6d56ac265fd67bed851b}, isbn = {978-1-4503-4239-1}, keywords = {dblp}, pages = {1180-1189}, publisher = {ACM}, timestamp = {2016-05-21T12:32:33.000+0200}, title = {Multi-Valued Verification of Strategic Ability.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2016.html#JamrogaKP16}, year = 2016 }