Author:
Espindola-Winck Guilherme,Hardouin Laurent,Lhommeau Mehdi
Reference23 articles.
1. Computational techniques for reachability analysis of max-plus-linear systems;Adzkiya;Automatica,2015
2. Computing the Vertices of Tropical Polyhedra using Directed Hypergraphs;Allamigeon;Discrete and Computational Geometry,2013
3. Synchronization and Linearity: An Algebra for Discrete Event Systems;Baccelli,1992
4. Satisfiability modulo theories;Barrett,2018
5. Residuation Theory;Blyth,1972