Doan Thu Trang, Brian Logan, Natasha Alechina. Verifying Dribble Agents. In Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd, editors, Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Volume 5948 of Lecture Notes in Computer Science, pages 244-261, Springer, 2009. [doi]
Abstract is missing.