TY  - RPRT
TI  - Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
AU  - Guy Scher
AU  - Sadra Sadraddini
AU  - Russ Tedrake
AU  - Hadas Kress-Gazit
PY  - 2022
DO  - 10.1145/3501710.3519506
UR  - https://arxiv.org/abs/2203.00078
ID  - 2203.00078
ER  -