| dc.contributor.author | Scher, Guy | |
| dc.contributor.author | Sadraddini, Sadra | |
| dc.contributor.author | Tedrake, Russ | |
| dc.contributor.author | Kress-Gazit, Hadas | |
| dc.date.accessioned | 2022-11-10T13:48:55Z | |
| dc.date.available | 2022-11-10T13:48:55Z | |
| dc.date.issued | 2022-05-04 | |
| dc.identifier.isbn | 978-1-4503-9196-2 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/146288 | |
| dc.publisher | ACM|25th ACM International Conference on Hybrid Systems: Computation and Control | en_US |
| dc.relation.isversionof | https://doi.org/10.1145/3501710.3519506 | en_US |
| dc.rights | 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. | en_US |
| dc.source | ACM|25th ACM International Conference on Hybrid Systems: Computation and Control | en_US |
| dc.title | Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications | en_US |
| dc.type | Article | en_US |
| dc.identifier.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." | |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
| dc.identifier.mitlicense | PUBLISHER_POLICY | |
| dc.eprint.version | Final published version | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
| dc.date.updated | 2022-11-03T00:41:40Z | |
| dc.language.rfc3066 | en | |
| dc.rights.holder | The author(s) | |
| dspace.date.submission | 2022-11-03T00:41:41Z | |
| mit.license | PUBLISHER_POLICY | |
| mit.metadata.status | Authority Work and Publication Information Needed | en_US |
