BibTeX record conf/atal/GorankoKR17

download as .bib file

@inproceedings{DBLP:conf/atal/GorankoKR17,
  author       = {Valentin Goranko and
                  Antti Kuusisto and
                  Raine R{\"{o}}nnholm},
  editor       = {Kate Larson and
                  Michael Winikoff and
                  Sanmay Das and
                  Edmund H. Durfee},
  title        = {Game-Theoretic Semantics for {ATL+} with Applications to Model Checking},
  booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
                  Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  pages        = {1277--1285},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3091302},
  timestamp    = {Wed, 27 Sep 2017 07:24:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/GorankoKR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}