Prajna, Stephen.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Optimization-based methods for nonlinear and hybrid systems verification.
by:
Prajna, Stephen.; California Institute of Technology.
(Electronic resources)