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.
Bosse, T. ; Lam, D.N. ; Barber, K.S. / Automated Analysis and Verification of Agent Behavior (3-page extended abstract). Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06). editor / Peter Stone ; Gerhard Weiss. ACM Press, 2006. pp. 1317-1319
@inproceedings{812c91c447164ebb927aa7c93a0211eb,
title = "Automated Analysis and Verification of Agent Behavior (3-page extended abstract)",
author = "T. Bosse and D.N. Lam and K.S. Barber",
note = "AAMAS06-agents",
year = "2006",
language = "English",
pages = "1317--1319",
editor = "Peter Stone and Gerhard Weiss",
booktitle = "Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06)",
publisher = "ACM Press",

}

Bosse, T, Lam, DN & Barber, KS 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). ACM Press, pp. 1317-1319.

Automated Analysis and Verification of Agent Behavior (3-page extended abstract). / Bosse, T.; Lam, D.N.; Barber, K.S.

Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06). ed. / Peter Stone; Gerhard Weiss. ACM Press, 2006. p. 1317-1319.

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

TY - GEN

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

AU - Bosse, T.

AU - Lam, D.N.

AU - Barber, K.S.

N1 - AAMAS06-agents

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - 1317

EP - 1319

BT - Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06)

A2 - Stone, Peter

A2 - Weiss, Gerhard

PB - ACM Press

ER -

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