Publications

Filters: Author is John Lloyd  [Clear All Filters]
2009
Doan, Thu Trang, Brian Logan, and Natasha Alechina. "Verifying Dribble Agents." In Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes, edited by Matteo Baldoni, Jamal Bentahar, John Lloyd and Birna M. van Riemsdijk, 162–177. Budapest Hungary, 2009. Download: Doan++:09a.pdf (176.43 KB)