Nikolas Stott

According to our database, Nikolas Stott authored at least 3 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Tropical Kraus maps for optimal control of switched systems.

Stephane Gaubert, Nikolas Stott

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

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