Automated Analysis and Verification of Agent Behavior (3-page extended abstract)

T. Bosse, D.N. Lam, K.S. Barber

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06)
EditorsPeter Stone, Gerhard Weiss
PublisherACM Press
Pages1317-1319
Publication statusPublished - 2006

Bibliographical note

AAMAS06-agents

Cite this

Bosse, T., Lam, D. N., & Barber, K. S. (2006). Automated Analysis and Verification of Agent Behavior (3-page extended abstract). In P. Stone, & G. Weiss (Eds.), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06) (pp. 1317-1319). ACM Press.