Inferring Min and Max Invariants Using Max-Plus Polyhedra.

Xavier Allamigeon, Stephane Gaubert, Eric Goubault

Browse the full SAS paper archive.