Approximating the value of energy-parity objectives in simple stochastic games

From MaRDI portal
Publication:6647667