State space reduction for model checking agent programs

STQ Jongmans; KV Hindriks; MB van Riemsdijk

doi:10.1007/978-3-642-31915-0_8

State space reduction for model checking agent programs

STQ Jongmans, KV Hindriks, MB van Riemsdijk

Interactive Intelligence

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

Original language	English
Title of host publication	Proceedings 9th International Workshop, ProMAS 2011
Editors	L Dennis et al
Place of Publication	Berlin - Heidelberg
Publisher	Springer
Pages	133-151
Number of pages	19
ISBN (Print)	978-3-642-31914-3
DOIs	https://doi.org/10.1007/978-3-642-31915-0_8
Publication status	Published - 2012
Event	ProMAS 2011 - Taipei, Taiwan Duration: 3 May 2011 → 3 May 2011

Publication series

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

Conference

Conference	ProMAS 2011
Country/Territory	Taiwan
City	Taipei
Period	3/05/11 → 3/05/11

Access to Document

10.1007/978-3-642-31915-0_8

Cite this

@inproceedings{fa0de6040d0a4ae2a887227afc150d72,

title = "State space reduction for model checking agent programs",

author = "STQ Jongmans and KV Hindriks and {van Riemsdijk}, MB",

year = "2012",

doi = "10.1007/978-3-642-31915-0_8",

language = "English",

isbn = "978-3-642-31914-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "133--151",

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

booktitle = "Proceedings 9th International Workshop, ProMAS 2011",

note = "ProMAS 2011 ; Conference date: 03-05-2011 Through 03-05-2011",

}

State space reduction for model checking agent programs. / Jongmans, STQ; Hindriks, KV; van Riemsdijk, MB.
Proceedings 9th International Workshop, ProMAS 2011. ed. / L Dennis et al. Berlin - Heidelberg: Springer, 2012. p. 133-151 (Lecture Notes in Computer Science; Vol. 7217).

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

TY - GEN

T1 - State space reduction for model checking agent programs

AU - Jongmans, STQ

AU - Hindriks, KV

AU - van Riemsdijk, MB

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-31915-0_8

DO - 10.1007/978-3-642-31915-0_8

M3 - Conference contribution

SN - 978-3-642-31914-3

T3 - Lecture Notes in Computer Science

SP - 133

EP - 151

BT - Proceedings 9th International Workshop, ProMAS 2011

A2 - Dennis et al, L

PB - Springer

CY - Berlin - Heidelberg

T2 - ProMAS 2011

Y2 - 3 May 2011 through 3 May 2011

ER -