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

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

Bibliographic Details
Main Authors: Scher, Guy, Sadraddini, Sadra, Tedrake, Russ, Kress-Gazit, Hadas
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
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

Similar Items

Similar Items