C
[CLM15] Petr Čermák, Alessio Lomuscio, and Aniello Murano. Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. In AAAI'15, pages 2038-2044. AAAI Press, January 2015. 
@inproceedings{aaai2015-CLM,
  author =              {{\v{C}}erm{\'a}k, Petr and Lomuscio, Alessio and
                         Murano, Aniello},
  title =               {Verifying and Synthesising Multi-Agent Systems
                         against One-Goal Strategy Logic Specifications},
  editor =              {Bonet, Blai and Koenig, Sven},
  booktitle =           {{P}roceedings of the 29th {AAAI} {C}onference on
                         {A}rtificial {I}ntelligence ({AAAI}'15)},
  acronym =             {{AAAI}'15},
  publisher =           {AAAI Press},
  pages =               {2038-2044},
  year =                {2015},
  month =               jan,
}
List of authors