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]
@inproceedings{SteinhardtT11,
title = {Finite-Time Regional Verification of Stochastic Nonlinear Systems},
author = {Jacob Steinhardt and Russ Tedrake},
year = {2011},
url = {http://www.roboticsproceedings.org/rss07/p41.html},
researchr = {https://researchr.org/publication/SteinhardtT11},
cites = {0},
citedby = {0},
booktitle = {Robotics: Science and Systems VII, University of Southern California, Los Angeles, CA, USA, June 27-30, 2011},
editor = {Hugh F. Durrant-Whyte and Nicholas Roy and Pieter Abbeel},
}