Feb 14 3:30 pm - 4:30 pm Set-theoretic Methods for Verification of Closed-loop Systems, Motion Planning, and Energy-aware Autonomy
Mar 14 3:30 pm - 4:30 pm Metric Regularity and Its Role in the Systems Theory of Nonlinear Optimization