900 randomly generated parity games

Emerging

1papers using it

2022first seen

The '900 randomly generated parity games' dataset contains a collection of parity games used to evaluate the effectiveness and efficiency of a graph neural network approach for determining winning regions in these games.

🔎 Find this dataset

Papers using 900 randomly generated parity games (1)

Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract)2022