Towards a verification framework for communicating rational agents

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Proceedings 7th German Conference MATES 2009
Editors	L Braubach et al
Place of Publication	Berlin - Heidelberg
Publisher	Springer
Pages	177-182
Number of pages	6
ISBN (Print)	978-3-642-04142-6
DOIs	https://doi.org/10.1007/978-3-642-04143-3_16
Publication status	Published - 2009
Event	MATES 2009, Hamburg, Germany - Berlin - Heidelberg Duration: 9 Sept 2009 → 11 Sept 2009

Name
Publisher	Springer

Name	Lecture Notes in Computer Science
Volume	5774
ISSN (Print)	0302-9743

Conference	MATES 2009, Hamburg, Germany
Period	9/09/09 → 11/09/09

Access to Document

@inproceedings{c1422bb1ad22470b8bb2bbba5336a873,

title = "Towards a verification framework for communicating rational agents",

author = "N Bulling and KV Hindriks",

year = "2009",

doi = "10.1007/978-3-642-04143-3_16",

language = "English",

isbn = "978-3-642-04142-6",

publisher = "Springer",

pages = "177--182",

editor = "{Braubach et al}, L",

booktitle = "Proceedings 7th German Conference MATES 2009",

note = "MATES 2009, Hamburg, Germany ; Conference date: 09-09-2009 Through 11-09-2009",

}

Towards a verification framework for communicating rational agents. / Bulling, N; Hindriks, KV.
Proceedings 7th German Conference MATES 2009. ed. / L Braubach et al. Berlin - Heidelberg: Springer, 2009. p. 177-182 (Lecture Notes in Computer Science; Vol. 5774).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Towards a verification framework for communicating rational agents

AU - Bulling, N

AU - Hindriks, KV

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-04143-3_16

DO - 10.1007/978-3-642-04143-3_16

M3 - Conference contribution

SN - 978-3-642-04142-6

SP - 177

EP - 182

BT - Proceedings 7th German Conference MATES 2009

A2 - Braubach et al, L

PB - Springer

CY - Berlin - Heidelberg

T2 - MATES 2009, Hamburg, Germany

Y2 - 9 September 2009 through 11 September 2009

ER -