Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift

16 July 2024

Jyotirmoy V. Deshmukh

Papers citing "Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift"

3 / 3 papers shown

Title
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 75 14 0 31 Aug 2024
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference Navid Hashemi Xin Qin Lars Lindemann Jyotirmoy V. Deshmukh AI4CE 31 17 0 17 Sep 2023
Sample-Efficient Safety Assurances using Conformal Prediction Rachel Luo Shengjia Zhao Jonathan Kuck Boris Ivanovic Silvio Savarese Edward Schmerling Marco Pavone 58 56 0 28 Sep 2021