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

Author(s)
Scher, Guy; Sadraddini, Sadra; Tedrake, Russ; Kress-Gazit, Hadas
Thumbnail
Download3501710.3519506.pdf (1.522Mb)
Publisher Policy
Terms of use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Metadata
Show full item record
Date issued
2022-05-04
URI
https://hdl.handle.net/1721.1/146288
Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Publisher
ACM|25th ACM International Conference on Hybrid Systems: Computation and Control
Citation
Scher, Guy, Sadraddini, Sadra, Tedrake, Russ and Kress-Gazit, Hadas. 2022. "Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications."
Version: Final published version
ISBN
978-1-4503-9196-2
Collections