Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications

Bibliographic Details
Main Authors:	Scher, Guy, Sadraddini, Sadra, Tedrake, Russ, Kress-Gazit, Hadas
Other Authors:	Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format:	Article
Language:	English
Published:	ACM\|25th ACM International Conference on Hybrid Systems: Computation and Control 2022
Online Access:	https://hdl.handle.net/1721.1/146288

Internet

https://hdl.handle.net/1721.1/146288