Robust worst cases for parity games algorithms
Benerecetti, Massimo, Dell'Erba, Daniele, Mogavero, FabioVolume:
272
Journal:
Information and Computation
DOI:
10.1016/j.ic.2019.104501
Date:
June, 2020
File:
PDF, 694 KB
2020