Verifying Dribble Agents

TitleVerifying Dribble Agents
Publication TypeConference Paper
Year of Publication2009
AuthorsDoan, Thu Trang, Brian Logan, and Natasha Alechina
EditorBaldoni, Matteo, Jamal Bentahar, John Lloyd, and Birna M. van Riemsdijk
Conference NameSeventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes
Pages162–177
Date PublishedMay
Conference LocationBudapest Hungary
Citation KeyTrang//:09a
AttachmentSize
Doan++:09a.pdf176.43 KB