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
Publication statusPublished - 2006

Bibliographical note


Cite this