TY - DATA
T1 - Reduction and Solving of Parity Games
PY - 2013/07/16
AU - Jeroen Keiren
UR - https://data.4tu.nl/articles/dataset/Reduction_and_Solving_of_Parity_Games/12719612/1
DO - 10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2
KW - Model checking
KW - Parity games
KW - Software verification
KW - dissertation
N2 - Data created for investigating whether several reductions speed up the solving of parity games. Parity games were generated, reduced and solved. Reduction and solving times, as well as structural characteristics of the parity games were collected.
ER -