A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. - Xavier Allamigeon; Stéphane Gaubert; Nikolas Stott; Eric Goubault; Sylvie Putot (ACM Trans. Embed. Comput. Syst., 2016)

Tropical Kraus maps for optimal control of switched systems. - Stephane Gaubert; Nikolas Stott (CDC, 2017)

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. - Xavier Allamigeon; Stéphane Gaubert; Eric Goubault; Sylvie Putot; Nikolas Stott (ACM Trans. Embed. Comput. Syst., 2017)