Data-Driven Reachability Analysis of Stochastic Dynamical Systems with
Conformal Inference

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference

17 September 2023

Jyotirmoy V. Deshmukh

Papers citing "Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference"

6 / 6 papers shown

Title
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees Jun Wang David Smith Sundarsingh Jyotirmoy V. Deshmukh Y. Kantaros 33 0 0 22 Apr 2025
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 75 15 0 31 Aug 2024
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift Navid Hashemi Lars Lindemann Jyotirmoy V. Deshmukh 34 2 0 16 Jul 2024
Single Trajectory Conformal Prediction Brian Lee Nikolai Matni 38 2 0 03 Jun 2024
Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates Renukanandan Tumu Matthew Cleaveland Rahul Mangharam George J. Pappas Lars Lindemann 28 2 0 12 Dec 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