Jeroen Keiren. Benchmarks for Parity Games. Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.127-142, 2015, Fundamentals of Software Engineer
HAL Archives-Ouvertes,
Jeroen Keiren. Benchmarks for Parity Games. Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr…