{"data":{"id":"10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2","type":"dois","attributes":{"doi":"10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2","prefix":"10.4121","suffix":"uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2","identifiers":[],"alternateIdentifiers":[],"creators":[{"name":"Keiren, Jeroen","nameType":"Personal","givenName":"Jeroen","familyName":"Keiren","nameIdentifiers":[{"nameIdentifier":"0000-0002-5772-9527","nameIdentifierScheme":"https://orcid.org/"}],"affiliation":[]}],"titles":[{"title":"Reduction and Solving of Parity Games"}],"publisher":"TU Eindhoven","container":{},"publicationYear":2013,"subjects":[{"subject":"Computer Software","subjectScheme":"Australian and New Zealand Standard Research Classification (ANZSRC), 2008","classificationCode":"0803"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"Model checking"},{"subject":"Parity games"},{"subject":"Software verification"},{"subject":"dissertation"}],"contributors":[],"dates":[{"date":"2013-07-16","dateType":"Issued"}],"language":"en","types":{"ris":"DATA","bibtex":"misc","citeproc":"dataset","schemaOrg":"Dataset","resourceType":"Dataset","resourceTypeGeneral":"Dataset"},"relatedIdentifiers":[{"relationType":"References","relatedIdentifier":"http://github.com/jkeiren/paritygame-generator","relatedIdentifierType":"URL"},{"relationType":"References","relatedIdentifier":"http://github.com/jkeiren/pginfo","relatedIdentifierType":"URL"},{"relationType":"References","relatedIdentifier":"http://github.com/tue-mdse/pgconvert","relatedIdentifierType":"URL"},{"relationType":"References","relatedIdentifier":"http://repository.tue.nl/757862","relatedIdentifierType":"URL"}],"relatedItems":[],"sizes":[],"formats":["media types: application/zip, text/plain"],"version":"1","rightsList":[{"rights":"4TU General Terms of Use","rightsUri":"https://doi.org/10.4121/resource:terms_of_use"}],"descriptions":[{"description":"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.","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjQvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40MTIxL1VVSUQ6RkY2N0IwQ0ItOTFFMC00QzE0LUE2MjItNzMyMTlCOUE4RkMyPC9pZGVudGlmaWVyPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5KZXJvZW4gS2VpcmVuPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5KZXJvZW48L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+S2VpcmVuPC9mYW1pbHlOYW1lPgogICAgICA8bmFtZUlkZW50aWZpZXIgbmFtZUlkZW50aWZpZXJTY2hlbWU9Imh0dHBzOi8vb3JjaWQub3JnLyI+MDAwMC0wMDAyLTU3NzItOTUyNzwvbmFtZUlkZW50aWZpZXI+CiAgICA8L2NyZWF0b3I+CiAgPC9jcmVhdG9ycz4KICA8dGl0bGVzPgogICAgPHRpdGxlPlJlZHVjdGlvbiBhbmQgU29sdmluZyBvZiBQYXJpdHkgR2FtZXM8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+VFUgRWluZGhvdmVuPC9wdWJsaXNoZXI+CiAgPHB1YmxpY2F0aW9uWWVhcj4yMDEzPC9wdWJsaWNhdGlvblllYXI+CiAgPHJlc291cmNlVHlwZSByZXNvdXJjZVR5cGVHZW5lcmFsPSJEYXRhc2V0Ij5EYXRhc2V0PC9yZXNvdXJjZVR5cGU+CiAgPHN1YmplY3RzPgogICAgPHN1YmplY3Qgc3ViamVjdFNjaGVtZT0iQXVzdHJhbGlhbiBhbmQgTmV3IFplYWxhbmQgU3RhbmRhcmQgUmVzZWFyY2ggQ2xhc3NpZmljYXRpb24gKEFOWlNSQyksIDIwMDgiIGNsYXNzaWZpY2F0aW9uQ29kZT0iMDgwMyI+Q29tcHV0ZXIgU29mdHdhcmU8L3N1YmplY3Q+CiAgICA8c3ViamVjdD5Nb2RlbCBjaGVja2luZzwvc3ViamVjdD4KICAgIDxzdWJqZWN0PlBhcml0eSBnYW1lczwvc3ViamVjdD4KICAgIDxzdWJqZWN0PlNvZnR3YXJlIHZlcmlmaWNhdGlvbjwvc3ViamVjdD4KICAgIDxzdWJqZWN0PmRpc3NlcnRhdGlvbjwvc3ViamVjdD4KICA8L3N1YmplY3RzPgogIDxkYXRlcz4KICAgIDxkYXRlIGRhdGVUeXBlPSJJc3N1ZWQiPjIwMTMtMDctMTY8L2RhdGU+CiAgPC9kYXRlcz4KICA8cmVsYXRlZElkZW50aWZpZXJzPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iVVJMIiByZWxhdGlvblR5cGU9IlJlZmVyZW5jZXMiPmh0dHA6Ly9naXRodWIuY29tL2prZWlyZW4vcGFyaXR5Z2FtZS1nZW5lcmF0b3I8L3JlbGF0ZWRJZGVudGlmaWVyPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iVVJMIiByZWxhdGlvblR5cGU9IlJlZmVyZW5jZXMiPmh0dHA6Ly9naXRodWIuY29tL2prZWlyZW4vcGdpbmZvPC9yZWxhdGVkSWRlbnRpZmllcj4KICAgIDxyZWxhdGVkSWRlbnRpZmllciByZWxhdGVkSWRlbnRpZmllclR5cGU9IlVSTCIgcmVsYXRpb25UeXBlPSJSZWZlcmVuY2VzIj5odHRwOi8vZ2l0aHViLmNvbS90dWUtbWRzZS9wZ2NvbnZlcnQ8L3JlbGF0ZWRJZGVudGlmaWVyPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iVVJMIiByZWxhdGlvblR5cGU9IlJlZmVyZW5jZXMiPmh0dHA6Ly9yZXBvc2l0b3J5LnR1ZS5ubC83NTc4NjI8L3JlbGF0ZWRJZGVudGlmaWVyPgogIDwvcmVsYXRlZElkZW50aWZpZXJzPgogIDxmb3JtYXRzPgogICAgPGZvcm1hdD5tZWRpYSB0eXBlczogYXBwbGljYXRpb24vemlwLCB0ZXh0L3BsYWluPC9mb3JtYXQ+CiAgPC9mb3JtYXRzPgogIDx2ZXJzaW9uPjE8L3ZlcnNpb24+CiAgPHJpZ2h0c0xpc3Q+CiAgICA8cmlnaHRzIHJpZ2h0c1VSST0iaHR0cHM6Ly9kb2kub3JnLzEwLjQxMjEvcmVzb3VyY2U6dGVybXNfb2ZfdXNlIj40VFUgR2VuZXJhbCBUZXJtcyBvZiBVc2U8L3JpZ2h0cz4KICA8L3JpZ2h0c0xpc3Q+CiAgPGRlc2NyaXB0aW9ucz4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9IkFic3RyYWN0Ij5EYXRhIGNyZWF0ZWQgZm9yIGludmVzdGlnYXRpbmcgd2hldGhlciBzZXZlcmFsIHJlZHVjdGlvbnMgc3BlZWQgdXAgdGhlIHNvbHZpbmcgb2YgcGFyaXR5IGdhbWVzLiBQYXJpdHkgZ2FtZXMgd2VyZSBnZW5lcmF0ZWQsIHJlZHVjZWQgYW5kIHNvbHZlZC4gUmVkdWN0aW9uIGFuZCBzb2x2aW5nIHRpbWVzLCBhcyB3ZWxsIGFzIHN0cnVjdHVyYWwgY2hhcmFjdGVyaXN0aWNzIG9mIHRoZSBwYXJpdHkgZ2FtZXMgd2VyZSBjb2xsZWN0ZWQuPC9kZXNjcmlwdGlvbj4KICA8L2Rlc2NyaXB0aW9ucz4KPC9yZXNvdXJjZT4=","url":"https://data.4tu.nl/articles/_/12719612/1","contentUrl":null,"metadataVersion":12,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2013-07-16T14:25:35.000Z","registered":"2013-07-16T14:25:36.000Z","published":"2013","updated":"2021-10-31T17:09:29.000Z"},"relationships":{"client":{"data":{"id":"delft.data4tu","type":"clients"}},"provider":{"data":{"id":"scpr","type":"providers"}},"media":{"data":{"id":"10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}