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

DOI10.1145/3501710.3519506arXiv2203.00078OpenAlexW4226470579MaRDI QIDQ6120703

Sadra Sadraddini, Hadas Kress-Gazit, Russ Tedrake, Unnamed Author

Publication date: 21 February 2024

Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2203.00078

zbMATH Keywords

probabilistic verificationsignal temporal logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Unnamed Item
• Unnamed Item
• Robustness of temporal logic specifications for continuous-time signals
• Cubature formulae for the Gaussian weight. Some old and new rules.
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Two algorithms for constructing a Delaunay triangulation
• Formal Synthesis of Control Strategies for Positive Monotone Systems
• Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems
• The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Controller synthesis made real: reach-avoid specifications and linear dynamics

This page was built for publication: Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications