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