B
[BJ10] Nils Bulling and Wojciech Jamroga. Model Checking Agents with Memory Is Harder than It Seemed. In AAMAS'10, pages 633-640. International Foundation for Autonomous Agents and Multiagent Systems, May 2010. 
@inproceedings{aamas2010-BJ,
  author =              {Bulling, Nils and Jamroga, Wojciech},
  title =               {Model Checking Agents with Memory Is Harder than It
                         Seemed},
  editor =              {van der Hoek, Wiebe and Kaminka, Gal A. and
                         Lesp{\'e}rance, Yves and Luck, Michael and Sen,
                         Sandeep},
  booktitle =           {{P}roceedings of the 9th {I}nternational
                         {C}onference on {A}utonomous {A}gents and
                         {M}ultiagent {S}ystems ({AAMAS}'10)},
  acronym =             {{AAMAS}'10},
  publisher =           {International Foundation for Autonomous Agents and
                         Multiagent Systems},
  pages =               {633-640},
  year =                {2010},
  month =               may,
}
List of authors