2015/11/03 by Michael Huth, Nir Piterman, Huth, Michael +3 · 1 citation
Computer Science · #Artificial Intelligence in Games #Formal Methods in Verification #Logic, programming, and type systems
paper · doi:10.14279/tuj.eceasst.23.324
openalex publication_date 2024/03/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01
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 preprocessors 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 preprocessors, 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.