Publications
Filters: Author is John Lloyd [Clear All Filters]
"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)