Solving parity games via priority promotion
Benerecetti, Massimo, Dell’Erba, Daniele, Mogavero, FabioVolume:
52
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-018-0315-1
Date:
April, 2018
File:
PDF, 1008 KB
english, 2018