Fast value iteration: A uniform approach to efficient algorithms for energy games.

Michal Cadilhac, Antonio Casares, Pierre Ohlmann

Browse the full TACAS paper archive.