Login / Signup

An algorithmic approach to global asymptotic stability verification of hybrid systems.

Pavithra PrabhakarMiriam Garcia Soto
Published in: EMSOFT (2016)
Keyphrases