Nikolas Stott

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 4

Top Topics

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Stephane Gaubert, Nikolas Stott
Tropical Kraus maps for optimal control of switched systems. CDC (2017)
Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embed. Comput. Syst. 15 (4) (2016)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT (2015)