Semi-Definite Programming for Inferring Quadratic Invariants

Date: Tuesday, June 15, 2010
Speaker: Helmut Seidl
Venue: TU Vienna

Posted in RiSE Seminar