Jamroga, Wojciech ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Verifying Agents with Memory Is Harder than It Seemed
Publication date :
2010
Event name :
9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010
Event date :
May 10-14, 2010
Audience :
International
Main work title :
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS