Thesis Seminar
Steele 102
Optimization-Based Methods for Nonlinear and Hybrid Systems Verification
"Optimization-Based Methods for Nonlinear and Hybrid Systems Verification," Stephen Prajna, graduate student in control and dynamical systems. Caltech.
For more information, please contact Stephen Prajna by phone at x3367 or by email at [email protected].