Login / Signup

A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems.

Xavier AllamigeonStéphane GaubertNikolas StottEric GoubaultSylvie Putot
Published in: ACM Trans. Embed. Comput. Syst. (2016)
Keyphrases