검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Convex programs for temporal verification of nonlinear dynamical systems Prajna S, Rantzer A SIAM Journal on Control and Optimization, 46(3), 999, 2007 |
| No. | Article |
|---|---|
| 1 |
Convex programs for temporal verification of nonlinear dynamical systems Prajna S, Rantzer A SIAM Journal on Control and Optimization, 46(3), 999, 2007 |