Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Name
3501710.3519506.pdf
Size
1.52 MB
Format
Adobe PDF
Checksum (MD5)
d30c87eb0227ff5b3b16e3eabb572bc2
Author(s)
Scher, Guy
Sadraddini, Sadra
Tedrake, Russ
Kress-Gazit, Hadas
Date Issued
May 4, 2022
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
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
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.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3501710.3519506
