Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| 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 |
| _version_ | 1826198111629869056 |
|---|---|
| author | Scher, Guy Sadraddini, Sadra Tedrake, Russ Kress-Gazit, Hadas |
| author2 | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science |
| author_facet | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Scher, Guy Sadraddini, Sadra Tedrake, Russ Kress-Gazit, Hadas |
| author_sort | Scher, Guy |
| collection | MIT |
| first_indexed | 2024-09-23T10:59:01Z |
| format | Article |
| id | mit-1721.1/146288 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T10:59:01Z |
| publishDate | 2022 |
| publisher | ACM|25th ACM International Conference on Hybrid Systems: Computation and Control |
| record_format | dspace |
| spelling | mit-1721.1/1462882022-11-11T03:33:09Z Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications Scher, Guy Sadraddini, Sadra Tedrake, Russ Kress-Gazit, Hadas Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science 2022-11-10T13:48:55Z 2022-11-10T13:48:55Z 2022-05-04 2022-11-03T00:41:40Z Article http://purl.org/eprint/type/ConferencePaper 978-1-4503-9196-2 https://hdl.handle.net/1721.1/146288 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." PUBLISHER_POLICY en https://doi.org/10.1145/3501710.3519506 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. The author(s) application/pdf ACM|25th ACM International Conference on Hybrid Systems: Computation and Control ACM|25th ACM International Conference on Hybrid Systems: Computation and Control |
| spellingShingle | Scher, Guy Sadraddini, Sadra Tedrake, Russ Kress-Gazit, Hadas Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications |
| title | Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications |
| title_full | Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications |
| title_fullStr | Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications |
| title_full_unstemmed | Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications |
| title_short | Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications |
| title_sort | elliptical slice sampling for probabilistic verification of stochastic systems with signal temporal logic specifications |
| url | https://hdl.handle.net/1721.1/146288 |
| work_keys_str_mv | AT scherguy ellipticalslicesamplingforprobabilisticverificationofstochasticsystemswithsignaltemporallogicspecifications AT sadraddinisadra ellipticalslicesamplingforprobabilisticverificationofstochasticsystemswithsignaltemporallogicspecifications AT tedrakeruss ellipticalslicesamplingforprobabilisticverificationofstochasticsystemswithsignaltemporallogicspecifications AT kressgazithadas ellipticalslicesamplingforprobabilisticverificationofstochasticsystemswithsignaltemporallogicspecifications |