Finite-time regional verification of stochastic non-linear systems.
Saved in:
| 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 |
| ISSN: | 02783649 |
|---|---|
| DOI: | 10.1177/0278364912444146 |