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 proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06)
Editors	Peter Stone, Gerhard Weiss
Publisher	ACM Press
Pages	1317-1319
Publication status	Published - 2006

AAMAS06-agents

Persistent URL (handle)

@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",

}

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 proceeding › Conference contribution › Academic › peer-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 -