{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:58Z","timestamp":1750220098787,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,4]],"date-time":"2022-05-04T00:00:00Z","timestamp":1651622400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100002266","name":"ONS Foundation","doi-asserted-by":"publisher","award":["N00014-17-1-2699"],"award-info":[{"award-number":["N00014-17-1-2699"]}],"id":[{"id":"10.13039\/100002266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,4]]},"DOI":"10.1145\/3501710.3519506","type":"proceedings-article","created":{"date-parts":[[2022,4,28]],"date-time":"2022-04-28T14:28:32Z","timestamp":1651156112000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications"],"prefix":"10.1145","author":[{"given":"Guy","family":"Scher","sequence":"first","affiliation":[{"name":"Sibley School of Mechanical and Aerospace Engineering Cornell University, United States"}]},{"given":"Sadra","family":"Sadraddini","sequence":"additional","affiliation":[{"name":"Dexai Robotics, United States"}]},{"given":"Russ","family":"Tedrake","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology and Toyota Resarch Institute, United States"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[{"name":"Sibley School of Mechanical and Aerospace Engineering Cornell University, United States"}]}],"member":"320","published-online":{"date-parts":[[2022,5,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799418"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-071420-081941"},{"volume-title":"AIAA Guidance, Navigation, and Control Conference","author":"Blackmore Lars","key":"e_1_3_2_1_3_1","unstructured":"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."},{"key":"e_1_3_2_1_4_1","unstructured":"Drive\u00a0Tesla 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\u00a0Tesla 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"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858464"},{"key":"e_1_3_2_1_6_1","unstructured":"Clearpath Robotics. 2020. Jackal UGV - Small Weatherproof Robot - Clearpath. https:\/\/clearpathrobotics.com\/jackal-small-unmanned-ground-vehicle  Clearpath Robotics. 2020. Jackal UGV - Small Weatherproof Robot - Clearpath. https:\/\/clearpathrobotics.com\/jackal-small-unmanned-ground-vehicle"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 2nd Conference on Learning for Dynamics and Control(Proceedings of Machine Learning Research, Vol.\u00a0120)","author":"Dean Sarah","year":"2020","unstructured":"Sarah Dean , Nikolai Matni , Benjamin Recht , and Vickie Ye . 2020 . Robust Guarantees for Perception-Based Control . In Proceedings of the 2nd Conference on Learning for Dynamics and Control(Proceedings of Machine Learning Research, Vol.\u00a0120) , Alexandre\u00a0M. Bayen, Ali Jadbabaie, George Pappas, Pablo\u00a0A. Parrilo, Benjamin Recht, Claire Tomlin, and Melanie Zeilinger (Eds.). PMLR, 350\u2013360. https:\/\/proceedings.mlr.press\/v120\/dean20a.html Sarah Dean, Nikolai Matni, Benjamin Recht, and Vickie Ye. 2020. Robust Guarantees for Perception-Based Control. In Proceedings of the 2nd Conference on Learning for Dynamics and Control(Proceedings of Machine Learning Research, Vol.\u00a0120), Alexandre\u00a0M. Bayen, Ali Jadbabaie, George Pappas, Pablo\u00a0A. Parrilo, Benjamin Recht, Claire Tomlin, and Melanie Zeilinger (Eds.). PMLR, 350\u2013360. https:\/\/proceedings.mlr.press\/v120\/dean20a.html"},{"volume-title":"Computer Science, and Statistical Mechanics. In Discrete Probability and Algorithms, David Aldous, Persi Diaconis, Joel Spencer, and J.\u00a0Michael Steele (Eds.)","author":"Diaconis Persi","key":"e_1_3_2_1_8_1","unstructured":"Persi Diaconis and Susan Holmes . 1995. Three Examples of Monte-Carlo Markov Chains: At the Interface Between Statistical Computing , Computer Science, and Statistical Mechanics. In Discrete Probability and Algorithms, David Aldous, Persi Diaconis, Joel Spencer, and J.\u00a0Michael Steele (Eds.) . Springer New York , New York, NY , 43\u201356. Persi Diaconis and Susan Holmes. 1995. Three Examples of Monte-Carlo Markov Chains: At the Interface Between Statistical Computing, Computer Science, and Statistical Mechanics. In Discrete Probability and Algorithms, David Aldous, Persi Diaconis, Joel Spencer, and J.\u00a0Michael Steele (Eds.). Springer New York, New York, NY, 43\u201356."},{"volume-title":"Efficient Robust Monitoring for STL","author":"Donz\u00e9 Alexandre","key":"e_1_3_2_1_9_1","unstructured":"Alexandre Donz\u00e9 , Thomas Ferr\u00e8re , and Oded Maler . 2013. Efficient Robust Monitoring for STL . In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 264\u2013279. Alexandre Donz\u00e9, Thomas Ferr\u00e8re, and Oded Maler. 2013. Efficient Robust Monitoring for STL. In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 264\u2013279."},{"volume-title":"Formal Modeling and Analysis of Timed Systems, Krishnendu Chatterjee and Thomas\u00a0A","author":"Donz\u00e9 Alexandre","key":"e_1_3_2_1_10_1","unstructured":"Alexandre Donz\u00e9 and Oded Maler . 2010. Robust Satisfaction of Temporal Logic over Real-Valued Signals . In Formal Modeling and Analysis of Timed Systems, Krishnendu Chatterjee and Thomas\u00a0A . Henzinger (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 92\u2013106. Alexandre Donz\u00e9 and Oded Maler. 2010. Robust Satisfaction of Temporal Logic over Real-Valued Signals. In Formal Modeling and Analysis of Timed Systems, Krishnendu Chatterjee and Thomas\u00a0A. Henzinger (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 92\u2013106."},{"volume-title":"VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems","author":"Dreossi Tommaso","key":"e_1_3_2_1_11_1","unstructured":"Tommaso Dreossi , Daniel\u00a0 J. Fremont , Shromona Ghosh , Edward Kim , Hadi Ravanbakhsh , Marcell Vazquez-Chanlatte , and Sanjit\u00a0 A. Seshia . 2019. VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems . In Computer Aided Verification, Isil Dillig and Serdar Tasiran (Eds.). Springer International Publishing , Cham , 432\u2013442. Tommaso Dreossi, Daniel\u00a0J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, and Sanjit\u00a0A. Seshia. 2019. VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. In Computer Aided Verification, Isil Dillig and Serdar Tasiran (Eds.). Springer International Publishing, Cham, 432\u2013442."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2116190"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"volume-title":"Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics","author":"Fan Chuchu","key":"e_1_3_2_1_14_1","unstructured":"Chuchu Fan , Umang Mathur , Sayan Mitra , and Mahesh Viswanathan . 2018. Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics . In Computer Aided Verification, Hana Chockler and Georg Weissenbacher (Eds.). Springer International Publishing , Cham , 347\u2013366. Chuchu Fan, Umang Mathur, Sayan Mitra, and Mahesh Viswanathan. 2018. Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. In Computer Aided Verification, Hana Chockler and Georg Weissenbacher (Eds.). Springer International Publishing, Cham, 347\u2013366."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics(Proceedings of Machine Learning Research, Vol.\u00a0108)","author":"Gessner Alexandra","year":"2020","unstructured":"Alexandra Gessner , Oindrila Kanjilal , and Philipp Hennig . 2020 . Integrals over Gaussians under Linear Domain Constraints . In Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics(Proceedings of Machine Learning Research, Vol.\u00a0108) , Silvia Chiappa and Roberto Calandra (Eds.). PMLR, 2764\u20132774. https:\/\/proceedings.mlr.press\/v108\/gessner20a.html Alexandra Gessner, Oindrila Kanjilal, and Philipp Hennig. 2020. Integrals over Gaussians under Linear Domain Constraints. In Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics(Proceedings of Machine Learning Research, Vol.\u00a0108), Silvia Chiappa and Roberto Calandra (Eds.). PMLR, 2764\u20132774. https:\/\/proceedings.mlr.press\/v108\/gessner20a.html"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669603"},{"volume-title":"Linear optimal control systems. Vol.\u00a01","author":"Kwakernaak Huibert","key":"e_1_3_2_1_17_1","unstructured":"Huibert Kwakernaak and Raphael Sivan . 1972. Linear optimal control systems. Vol.\u00a01 . Wiley-interscience New York . Huibert Kwakernaak and Raphael Sivan. 1972. Linear optimal control systems. Vol.\u00a01. Wiley-interscience New York."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00977785"},{"volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","key":"e_1_3_2_1_19_1","unstructured":"Oded Maler and Dejan Nickovic . 2004. Monitoring temporal properties of continuous signals . In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems . Springer , 152\u2013166. Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer, 152\u2013166."},{"key":"e_1_3_2_1_20_1","unstructured":"Iain Murray Ryan Adams and David MacKay. 2010. Elliptical slice sampling. In Proceedings of the Thirteenth International Conference on Artificial Intelligence and Statistics(Proceedings of Machine Learning Research Vol.\u00a09) Yee\u00a0Whye Tehand Mike Titterington (Eds.). PMLR Chia Laguna Resort Sardinia Italy 541\u2013548. https:\/\/proceedings.mlr.press\/v9\/murray10a.html  Iain Murray Ryan Adams and David MacKay. 2010. Elliptical slice sampling. In Proceedings of the Thirteenth International Conference on Artificial Intelligence and Statistics(Proceedings of Machine Learning Research Vol.\u00a09) Yee\u00a0Whye Tehand Mike Titterington (Eds.). PMLR Chia Laguna Resort Sardinia Italy 541\u2013548. https:\/\/proceedings.mlr.press\/v9\/murray10a.html"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_34"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 23rd National Conference on Artificial Intelligence -","volume":"3","author":"Ono Masahiro","year":"2008","unstructured":"Masahiro Ono and Brian\u00a0 C. Williams . 2008 . An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure . In Proceedings of the 23rd National Conference on Artificial Intelligence - Volume 3 (Chicago, Illinois) (AAAI\u201908). AAAI Press, 1376\u20131382. Masahiro Ono and Brian\u00a0C. Williams. 2008. An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure. In Proceedings of the 23rd National Conference on Artificial Intelligence - Volume 3 (Chicago, Illinois) (AAAI\u201908). AAAI Press, 1376\u20131382."},{"key":"e_1_3_2_1_23_1","unstructured":"Open Robotics. 2020. ROS.org | Powering the world\u2019s robots. https:\/\/www.ros.org  Open Robotics. 2020. ROS.org | Powering the world\u2019s robots. https:\/\/www.ros.org"},{"key":"e_1_3_2_1_24_1","volume-title":"Cubature formulae for the Gaussian weight. Some old and new rules.Electronic Transactions on Numerical Analysis 53","author":"Orive Ram\u00f3n","year":"2020","unstructured":"Ram\u00f3n Orive , Juan\u00a0 C Santos-Le\u00f3n , and Miodrag\u00a0 M Spalevi\u0107 . 2020. Cubature formulae for the Gaussian weight. Some old and new rules.Electronic Transactions on Numerical Analysis 53 ( 2020 ), 426\u2013439. Ram\u00f3n Orive, Juan\u00a0C Santos-Le\u00f3n, and Miodrag\u00a0M Spalevi\u0107. 2020. Cubature formulae for the Gaussian weight. Some old and new rules.Electronic Transactions on Numerical Analysis 53 (2020), 426\u2013439."},{"key":"e_1_3_2_1_25_1","unstructured":"OSRF. 2020. Gazebo. http:\/\/gazebosim.org  OSRF. 2020. Gazebo. http:\/\/gazebosim.org"},{"key":"e_1_3_2_1_26_1","volume-title":"Advances in Neural Information Processing Systems, S.\u00a0Bengio, H.\u00a0Wallach, H.\u00a0Larochelle, K.\u00a0Grauman, N.\u00a0Cesa-Bianchi, and R.\u00a0Garnett (Eds.). Vol.\u00a031. Curran Associates","author":"O'\u00a0Kelly Matthew","year":"2018","unstructured":"Matthew O'\u00a0Kelly , Aman Sinha , Hongseok Namkoong , Russ Tedrake , and John\u00a0 C Duchi . 2018. Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation . In Advances in Neural Information Processing Systems, S.\u00a0Bengio, H.\u00a0Wallach, H.\u00a0Larochelle, K.\u00a0Grauman, N.\u00a0Cesa-Bianchi, and R.\u00a0Garnett (Eds.). Vol.\u00a031. Curran Associates , Inc .https:\/\/proceedings.neurips.cc\/paper\/ 2018 \/file\/653c579e3f9ba5c03f2f2f8cf4512b39-Paper.pdf Matthew O'\u00a0Kelly, Aman Sinha, Hongseok Namkoong, Russ Tedrake, and John\u00a0C Duchi. 2018. Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation. In Advances in Neural Information Processing Systems, S.\u00a0Bengio, H.\u00a0Wallach, H.\u00a0Larochelle, K.\u00a0Grauman, N.\u00a0Cesa-Bianchi, and R.\u00a0Garnett (Eds.). Vol.\u00a031. Curran Associates, Inc.https:\/\/proceedings.neurips.cc\/paper\/2018\/file\/653c579e3f9ba5c03f2f2f8cf4512b39-Paper.pdf"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.2307\/1270566"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799150"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Edward Schmerling and Marco Pavone. 2016. Evaluating trajectory collision probability through adaptive importance sampling for safe motion planning. arXiv preprint arXiv:1609.05399(2016).  Edward Schmerling and Marco Pavone. 2016. Evaluating trajectory collision probability through adaptive importance sampling for safe motion planning. arXiv preprint arXiv:1609.05399(2016).","DOI":"10.15607\/RSS.2017.XIII.068"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/504729.504754"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/AAI28288437"},{"key":"e_1_3_2_1_32_1","volume-title":"Article arXiv:1809.10756 (Sept.","author":"van de Meent Jan-Willem","year":"2018","unstructured":"Jan-Willem van de Meent , Brooks Paige , Hongseok Yang , and Frank Wood . 2018. An Introduction to Probabilistic Programming. arXiv e-prints , Article arXiv:1809.10756 (Sept. 2018 ), arXiv:1809.10756\u00a0pages. arxiv:1809.10756\u00a0[stat.ML] Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, and Frank Wood. 2018. An Introduction to Probabilistic Programming. arXiv e-prints, Article arXiv:1809.10756 (Sept. 2018), arXiv:1809.10756\u00a0pages. arxiv:1809.10756\u00a0[stat.ML]"},{"key":"e_1_3_2_1_33_1","volume-title":"Article arXiv:1805.09944 (May","author":"Xiang Weiming","year":"2018","unstructured":"Weiming Xiang and Taylor\u00a0 T. Johnson . 2018. Reachability Analysis and Safety Verification for Neural Network Control Systems. arXiv e-prints , Article arXiv:1805.09944 (May 2018 ), arXiv:1805.09944\u00a0pages. arxiv:1805.09944\u00a0[cs.SY] Weiming Xiang and Taylor\u00a0T. Johnson. 2018. Reachability Analysis and Safety Verification for Neural Network Control Systems. arXiv e-prints, Article arXiv:1805.09944 (May 2018), arXiv:1805.09944\u00a0pages. arxiv:1805.09944\u00a0[cs.SY]"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477033"},{"volume-title":"Autonomous and Intelligent Vehicles","author":"Yu Huafeng","key":"e_1_3_2_1_35_1","unstructured":"Huafeng Yu , Xin Li , Richard\u00a0 M Murray , S Ramesh , and Claire\u00a0 J Tomlin . 2018. Safe , Autonomous and Intelligent Vehicles . Springer . Huafeng Yu, Xin Li, Richard\u00a0M Murray, S Ramesh, and Claire\u00a0J Tomlin. 2018. Safe, Autonomous and Intelligent Vehicles. Springer."}],"event":{"name":"HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Milan Italy","acronym":"HSCC '22"},"container-title":["25th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519506","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3501710.3519506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:11Z","timestamp":1750183811000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519506"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,4]]},"references-count":35,"alternative-id":["10.1145\/3501710.3519506","10.1145\/3501710"],"URL":"https:\/\/doi.org\/10.1145\/3501710.3519506","relation":{},"subject":[],"published":{"date-parts":[[2022,5,4]]},"assertion":[{"value":"2022-05-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}