Login / Signup

A scalable algebraic method to infer quadratic invariants of switched systems.

Xavier AllamigeonStéphane GaubertEric GoubaultSylvie PutotNikolas Stott
Published in: EMSOFT (2015)
Keyphrases