Finite-time regional verification of stochastic non-linear systems.

Saved in:
Bibliographic Details
Title: Finite-time regional verification of stochastic non-linear systems.
Authors: Steinhardt, Jacob1, Tedrake, Russ2, russt@mit.edu
Source: International Journal of Robotics Research; Jun2012, Vol. 31 Issue 7, p901-923, 23p
Database: Applied Science & Technology Source
Description
ISSN:02783649
DOI:10.1177/0278364912444146