Nils Bulling, Wojciech Jamroga. Verifying agents with memory is harder than it seemed. In Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen, editors, 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3. pages 699-706, IFAAMAS, 2010. [doi]
Abstract is missing.