Tropical linear-fractional programming and parametric mean payoff games

Stephane Gaubert, Ricardo D. Katz, Sergei Sergeev

Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. To handle larger instances, tropical analogues of classical linear programming re…