Benchmarks for Parity Games

Jeroen J. A. Keiren

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-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 languageEnglish
Title of host publicationFundamentals of Software Engineering
Subtitle of host publication6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
EditorsMehdi Dastani, Marjan Sirjani
Place of PublicationCham
PublisherSpringer International Publishing AG
Chapter9
Pages127-142
Number of pages16
ISBN (Electronic)9783319246444
ISBN (Print)9783319246437
DOIs
Publication statusPublished - 2015
Event6th IPM International Conference on Fundamentals of Software Engineering - Tehran, Iran, Islamic Republic of
Duration: 22 Apr 201524 Apr 2015
http://fsen.ir/2015/

Publication series

SeriesLecture Notes in Computer Science
Volume9392
ISSN0302-9743

Conference

Conference6th IPM International Conference on Fundamentals of Software Engineering
Abbreviated titleFSEN 2015
CountryIran, Islamic Republic of
CityTehran
Period22/04/1524/04/15
Internet address

Fingerprint Dive into the research topics of 'Benchmarks for Parity Games'. Together they form a unique fingerprint.

  • Cite this

    Keiren, J. J. A. (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 (pp. 127-142). Springer International Publishing AG. Lecture Notes in Computer Science, Vol.. 9392 https://doi.org/10.1007/978-3-319-24644-4_9