We describe a prototype workbench for the study of parity games and their solvers. This workbench is aimed at facilitating two activities: to aid in the design, validation, and evaluation of pre-processors for parity game solvers; and to aid in the generation of benchmark parity games that are meaningful for a wide range of solvers. Our workbench allows for easy composition of pre-processors, can populate databases with games and their meta-data, offers a query language for generating games of interest, and has already found potentially hard games.
This paper is to appear.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.