The Game Graph Gym

Austin, Pete; Dell'Erba, Daniele; Totzke, Patrick

doi:10.34727/2026/isbn.978-3-85448-093-8_65

Record link:

http://hdl.handle.net/20.500.12708/230560
https://doi.org/10.34727/2026/isbn.978-3-85448-093-8_65

Title:

Citation:

Austin, P., Dell’Erba, D., & Totzke, P. (2026). The Game Graph Gym. In B. Dutertre & B. Könighofer (Eds.), Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026 (pp. 633–638). TU Wien Academic Press. https://doi.org/10.34727/2026/isbn.978-3-85448-093-8_65

reposiTUm DOI:

10.34727/2026/isbn.978-3-85448-093-8_65

CatalogPlus:

AC18000685

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Austin, Pete
Dell'Erba, Daniele
Totzke, Patrick

Editors:

Dutertre, Bruno
Könighofer, Bettina

Organisational Unit:

E000 - Technische Universität Wien

Series:

Conference Series: Formal Methods in Computer-Aided Design

Published in:

Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026

Date (published):

Sep-2026

Number of Pages:

Publisher:

TU Wien Academic Press

Peer reviewed:

Yes

Keywords:

formal methods; computer-aided system design; hardware and system verification

Abstract:

We present a software framework that enables the rapid implementation, testing, and benchmarking of solvers for games on graphs of different kinds. It comes as a lightweight C++ library and provides generic types for game graphs, solvers, solutions, as well as parsers and utility functions and generic algorithms. Included are implementations of solvers for specific game types, such as parity, mean-payoff, and discounted stochastic games, and command-line executables for these solvers. We give a conceptual overview and several case studies to demonstrate how to use the framework. Index Terms—Games on Graphs

Is part of:

10.34727/2026/isbn.978-3-85448-093-8

Research Areas:

Logic and Computation: 40%
Computer Engineering and Software-Intensive Systems: 40%
Computer Science Foundations: 20%

Science Branch:

1020 - Informatik: 100%

License:

CC BY 4.0