Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications-Reference-Cited by-同舟云学术

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

Published:2022-05-04 Issue: Volume: Page:
ISSN:
Container-title:25th ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Scher Guy¹,Sadraddini Sadra²,Tedrake Russ³,Kress-Gazit Hadas¹

Affiliation:

1. Sibley School of Mechanical and Aerospace Engineering Cornell University, United States

2. Dexai Robotics, United States

3. Massachusetts Institute of Technology and Toyota Resarch Institute, United States

Funder

ONS Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3501710.3519506

Reference35 articles.

1. Combining zonotopes and support functions for efficient reachability analysis of linear systems

2. Set Propagation Techniques for Reachability Analysis

3. Lars Blackmore and Masahiro Ono . 2009. Convex chance constrained predictive control without sampling . In AIAA Guidance, Navigation, and Control Conference . AIAA , Chicago, IL, USA , 5876. Lars Blackmore and Masahiro Ono. 2009. Convex chance constrained predictive control without sampling. In AIAA Guidance, Navigation, and Control Conference. AIAA, Chicago, IL, USA, 5876.

4. Drive Tesla Canada. 2021. Tesla Q1 2021 Safety Report: Autopilot nearly 10X safer than Humanpilot. https://driveteslacanada.ca/news/tesla-q1-2021-safety-report-autopilot-nearly-10x-safer-than-humanpilot Drive Tesla Canada. 2021. Tesla Q1 2021 Safety Report: Autopilot nearly 10X safer than Humanpilot. https://driveteslacanada.ca/news/tesla-q1-2021-safety-report-autopilot-nearly-10x-safer-than-humanpilot

5. Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks;2023 IEEE International Conference on Robotics and Automation (ICRA);2023-05-29

2. Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks;2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2022-10-23