@INPROCEEDINGS{ABG2014a,
author={Xavier Allamigeon and Pascal Benchimol and St{\'e}phane Gaubert},
title={The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average},
year={2014},
booktitle={Proceedings of the 41st International Colloquium on Automata, Languages, and Programming (ICALP)},
series={Lecture Notes in Computer Science},
number={8572},
pages={89-100},
publisher={Springer},
eprint={1406.5433},
}