The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average

From MaRDI portal
Publication:5167733