Proving Properties on PWA Systems Using Copositive and Semidefinite Programming.

Assal Adj

Browse the full CAV paper archive.