| |
| 2006 | ||
|---|---|---|
| 3 | EE | Stephen Prajna: Barrier certificates for nonlinear model validation. Automatica 42(1): 117-126 (2006) |
| 2005 | ||
| 2 | EE | Stephen Prajna, Anders Rantzer: Primal-Dual Tests for Safety and Reachability. HSCC 2005: 542-556 |
| 2004 | ||
| 1 | EE | Stephen Prajna, Ali Jadbabaie: Safety Verification of Hybrid Systems Using Barrier Certificates. HSCC 2004: 477-492 |
| 1 | Ali Jadbabaie | [1] |
| 2 | Anders Rantzer | [2] |