The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average
From MaRDI portal
Publication:5167733
DOI10.1007/978-3-662-43948-7_8zbMath1409.68129arXiv1406.5433OpenAlexW3098251808MaRDI QIDQ5167733
Xavier Allamigeon, Stéphane Gaubert, Pascal Benchimol
Publication date: 1 July 2014
Published in: Automata, Languages, and Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1406.5433
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Solving mean-payoff games via quasi dominions ⋮ Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm ⋮ Solving Mean-Payoff Games via Quasi Dominions
This page was built for publication: The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average