Tibor Bosse, Dung N. Lam, K. Suzanne Barber. Automated analysis and verification of agent behavior. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 1317-1319, ACM, 2006. [doi]
Abstract is missing.