Jacob Steinhardt, Russ Tedrake. Finite-Time Regional Verification of Stochastic Nonlinear Systems. In Hugh F. Durrant-Whyte, Nicholas Roy, Pieter Abbeel, editors, Robotics: Science and Systems VII, University of Southern California, Los Angeles, CA, USA, June 27-30, 2011. 2011. [doi]
Abstract is missing.