Benchmarks for Parity Games

Jeroen J. A. Keiren

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


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
Number of pages16
ISBN (Electronic)9783319246444
ISBN (Print)9783319246437
Publication statusPublished - 2015
Event6th IPM International Conference on Fundamentals of Software Engineering - Tehran, Iran, Islamic Republic of
Duration: 22 Apr 201524 Apr 2015

Publication series

SeriesLecture Notes in Computer Science


Conference6th IPM International Conference on Fundamentals of Software Engineering
Abbreviated titleFSEN 2015
Country/TerritoryIran, Islamic Republic of
Internet address


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

Cite this