BibTeX record conf/atal/JamrogaKP16

• > Home > conf/atal/JamrogaKP16

@inproceedings{DBLP:conf/atal/JamrogaKP16,
  author       = {Wojciech Jamroga and
                  Beata Konikowska and
                  Wojciech Penczek},
  editor       = {Catholijn M. Jonker and
                  Stacy Marsella and
                  John Thangarajah and
                  Karl Tuyls},
  title        = {Multi-Valued Verification of Strategic Ability},
  booktitle    = {Proceedings of the 2016 International Conference on Autonomous Agents
                  {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  pages        = {1180--1189},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2937097},
  timestamp    = {Fri, 20 May 2016 21:03:38 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/JamrogaKP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}