Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited

From MaRDI portal
Publication:3172910