Benchmarks for Parity Games

Jeroen J. A. Keiren

doi:10.1007/978-3-319-24644-4_9

Benchmarks for Parity Games

Jeroen J. A. Keiren

Research Line Resilience (part of LIRS program)

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Abstract

We propose a benchmark suite for parity games that includes the benchmarks that have been used in the literature, and make it available online. We give an overview of the parity games, including a description of how they have been generated. We also describe structural properties of parity games, and using these properties we show that our benchmarks are representative. With this work we provide a starting point for further experimentation with parity games.

Original language	English
Title of host publication	Fundamentals of Software Engineering
Subtitle of host publication	6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Editors	Mehdi Dastani, Marjan Sirjani
Place of Publication	Cham
Publisher	Springer International Publishing AG
Chapter	9
Pages	127-142
Number of pages	16
ISBN (Electronic)	9783319246444
ISBN (Print)	9783319246437
DOIs	https://doi.org/10.1007/978-3-319-24644-4_9
Publication status	Published - 2015
Event	6th IPM International Conference on Fundamentals of Software Engineering - Tehran, Iran, Islamic Republic of Duration: 22 Apr 2015 → 24 Apr 2015 http://fsen.ir/2015/

Publication series

Series	Lecture Notes in Computer Science
Volume	9392
ISSN	0302-9743

Conference

Conference	6th IPM International Conference on Fundamentals of Software Engineering
Abbreviated title	FSEN 2015
Country/Territory	Iran, Islamic Republic of
City	Tehran
Period	22/04/15 → 24/04/15
Internet address	http://fsen.ir/2015/

Access to Document

10.1007/978-3-319-24644-4_9

Cite this

@inproceedings{0dd4fcda6ba843a08cef04fad741b6d9,

title = "Benchmarks for Parity Games",

abstract = "We propose a benchmark suite for parity games that includes the benchmarks that have been used in the literature, and make it available online. We give an overview of the parity games, including a description of how they have been generated. We also describe structural properties of parity games, and using these properties we show that our benchmarks are representative. With this work we provide a starting point for further experimentation with parity games.",

author = "Keiren, {Jeroen J. A.}",

year = "2015",

doi = "10.1007/978-3-319-24644-4_9",

language = "English",

isbn = "9783319246437",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing AG",

pages = "127--142",

editor = "Dastani, {Mehdi } and Sirjani, {Marjan }",

booktitle = "Fundamentals of Software Engineering",

address = "Switzerland",

note = "6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015 ; Conference date: 22-04-2015 Through 24-04-2015",

url = "http://fsen.ir/2015/",

}

Keiren, JJA 2015, Benchmarks for Parity Games. in M Dastani & M Sirjani (eds), Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers. Springer International Publishing AG, Cham, Lecture Notes in Computer Science, vol. 9392, pp. 127-142, 6th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, Islamic Republic of, 22/04/15. https://doi.org/10.1007/978-3-319-24644-4_9

Benchmarks for Parity Games. / Keiren, Jeroen J. A.
Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers. ed. / Mehdi Dastani; Marjan Sirjani. Cham: Springer International Publishing AG, 2015. p. 127-142 (Lecture Notes in Computer Science, Vol. 9392).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Benchmarks for Parity Games

AU - Keiren, Jeroen J. A.

PY - 2015

Y1 - 2015

N2 - We propose a benchmark suite for parity games that includes the benchmarks that have been used in the literature, and make it available online. We give an overview of the parity games, including a description of how they have been generated. We also describe structural properties of parity games, and using these properties we show that our benchmarks are representative. With this work we provide a starting point for further experimentation with parity games.

AB - We propose a benchmark suite for parity games that includes the benchmarks that have been used in the literature, and make it available online. We give an overview of the parity games, including a description of how they have been generated. We also describe structural properties of parity games, and using these properties we show that our benchmarks are representative. With this work we provide a starting point for further experimentation with parity games.

U2 - 10.1007/978-3-319-24644-4_9

DO - 10.1007/978-3-319-24644-4_9

M3 - Conference Article in proceeding

SN - 9783319246437

T3 - Lecture Notes in Computer Science

SP - 127

EP - 142

BT - Fundamentals of Software Engineering

A2 - Dastani, Mehdi

A2 - Sirjani, Marjan

PB - Springer International Publishing AG

CY - Cham

T2 - 6th IPM International Conference on Fundamentals of Software Engineering

Y2 - 22 April 2015 through 24 April 2015

ER -

Benchmarks for Parity Games

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this