Jeroen Keiren (2013): Reduction and Solving of Parity Games. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2

Usage statistics

Categories

• Computer Software

Keywords

dissertation Model checking Parity games Software verification

Licence

4TU General Terms of Use

Export as...

RefWorks BibTeX Reference Manager Endnote DataCite NLM DC CFF

by Jeroen Keiren

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.

History

• 2013-07-16 first online, published, posted

Publisher

TU Eindhoven

Format

media types: application/zip, text/plain

References

• http://github.com/jkeiren/paritygame-generator
• http://github.com/jkeiren/pginfo
• http://github.com/tue-mdse/pgconvert
• http://repository.tue.nl/757862