@inproceedings{Bulling10atlplus-aamas, author = {N. Bulling and W. Jamroga}, title = {Verifying Agents with Memory Is Harder than It Seemed}, booktitle = {Proceedings of {AAMAS2010}}, pages = {633--640}, year = {2010} }