Nr. 48 (2000): RS-48 A Discrete Stratety Improvement Algorithm for Solving Parity Games

Publiceret: 2000-06-18