Tropical polar cones, hypergraph transversals, and mean payoff games

Affine buildings and tropical convexity

Original

M. Joswig, B. Sturmfels, and J. Yu · 1918

Earlier work this paper cites.

Stochastic games with perfect information and time average payoff

T. M. Liggett and S. A. Lippman · 1969

Earlier work this paper cites.

The maximum numbers of faces of a convex polytope

P. McMullen · 1970

Earlier work this paper cites.

A general separation theorem in extremal algebras

K. Zimmermann · 1977

Earlier work this paper cites.

Minimax Algebra

R. A. Cuninghame-Green · 1979

Earlier work this paper cites.

Invariant half-lines of nonexpansive piecewise-linear transformations

E. Kohlberg · 1980

Earlier work this paper cites.

An elimination method for finding all solutions of the system of linear equations over an extremal algebra

P. Butkovič and G. Hegedüs · 1984

Earlier work this paper cites.

Cyclic games and finding minimax mean cycles in digraphs

V. A. Gurvich, A. V. Karzanov, and L. G. Khachiyan · 1988

Earlier work this paper cites.

Synchronization and Linearity

F. Baccelli, G. Cohen, G.-J. Olsder, and J.-P. Quadrat · 1992

Earlier work this paper cites.

Théorie des systèmes linéaires dans les dioïdes

S. Gaubert · 1992

Earlier work this paper cites.

Convex sets in the semimodule of bounded functions

S. N. Samborskiĭ and G. B. Shpiz · 1992

Earlier work this paper cites.

On the complexity of dualization of monotone disjunctive normal forms

M. L. Fredman and L. Khachiyan · 1996

Earlier work this paper cites.

The complexity of mean payoff games on graphs

U. Zwick and M. Paterson · 1996

Earlier work this paper cites.

Methods and applications of (max,+) linear algebra

S. Gaubert and M. Plus · 1997

Earlier work this paper cites.

Numerical computation of spectral elements in max-plus algebra

J. Cochet-Terrasson, G. Cohen, S. Gaubert, M. M. Gettrick, and J. P. Quadrat · 1998

Earlier work this paper cites.

The duality theorem for min-max functions

S. Gaubert and J. Gunawardena · 1998

Earlier work this paper cites.

A non-linear hierarchy for discrete event dynamical systems

S. Gaubert and J. Gunawardena · 1998

Earlier work this paper cites.

Lectures on Polytopes

G. M. Ziegler · 1998

Cited alongside, same era.

A constructive fixed point theorem for min-max functions

J. Cochet-Terrasson, S. Gaubert, and J. Gunawardena · 1999

Cited alongside, same era.

Idempotent functional analysis: an algebraic approach

G. L. Litvinov, V. P. Maslov, and G. B. Shpiz · 2001

Cited alongside, same era.

Dual-bounded generating problems: All minimal integer solutions for a monotone system of linear inequalities

E. Boros, K. Elbassioni, V. Gurvich, L. Khachiyan, and K. Makino · 2002

Cited alongside, same era.

Lectures on discrete geometry

J. Matoušek · 2002

Cited alongside, same era.

B \mathbb{B} -convexity

W. Briec and C. Horvath · 2004

Cited alongside, same era.

The Minkowski theorem for max-plus convex sets

S. Gaubert and R. D. Katz · 2007

Later among the works it cites.

The max-atom problem and its relevance

M. Bezem, R. Nieuwenhuis, and E. Rodríguez-Carbonell · 2008

Later among the works it cites.

A note on systems with max-min and max-product constraints

K. M. Elbassioni · 2008

Later among the works it cites.

Tropical polyhedra are equivalent to mean payoff games

Original

M. Akian, S. Gaubert, and A. Guterman · 2009

Later among the works it cites.

Computing the extreme points of tropical polyhedra

Original

X. Allamigeon, S. Gaubert, and É. Goubault · 2009

Later among the works it cites.

Static analysis of memory manipulations by abstract interpretation — Algorithmics of tropical polyhedra, and application to abstract interpretation