Mathematics Massachusetts Institute of Technology Cambridge / Aritificial Intelligence Lab Massachusetts Institute of Technology Cambridge / /
IndustryTerm
dimensional systems / machinery / time-varying systems / nonlinear systems / real dynamical systems / stochastic nonlinear systems / validation algorithms / computing / non-linear systems / approximate solutions / linear systems / control systems / /
Organization
Stochastic Nonlinear Systems Jacob Steinhardt Department / Massachusetts Institute of Technology / Institute of Technology Cambridge / /
Finite-time Regional Verification of Stochastic Nonlinear Systems Jacob Steinhardt Department of Mathematics Massachusetts Institute of Technology Cambridge, Massachusetts[removed]Email: [removed]