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

Published: 2000-06-18