Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2304.01075
Cited By
Conformal Prediction Regions for Time Series using Linear Complementarity Programming
3 April 2023
Matthew Cleaveland
Insup Lee
George J. Pappas
Lars Lindemann
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Conformal Prediction Regions for Time Series using Linear Complementarity Programming"
21 / 21 papers shown
Title
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
Yiqi Zhao
Emily Zhu
Bardh Hoxha
Georgios Fainekos
Jyotirmoy V. Deshmukh
Lars Lindemann
24
0
0
03 Apr 2025
Conformalized Interval Arithmetic with Symmetric Calibration
Rui Luo
Zhixin Zhou
47
4
0
03 Jan 2025
Conformalised Conditional Normalising Flows for Joint Prediction Regions in time series
Eshant English
C. Lippert
AI4TS
AI4CE
62
1
0
26 Nov 2024
Conformal Prediction: A Data Perspective
Xiaofan Zhou
Baiting Chen
Yu Gui
Lu Cheng
44
2
0
09 Oct 2024
Formal Verification and Control with Conformal Prediction
Lars Lindemann
Yiqi Zhao
Xinyi Yu
George J. Pappas
Jyotirmoy V. Deshmukh
55
12
0
31 Aug 2024
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
Navid Hashemi
Lars Lindemann
Jyotirmoy V. Deshmukh
24
2
0
16 Jul 2024
JANET: Joint Adaptive predictioN-region Estimation for Time-series
Eshant English
Eliot Wong-Toi
Matteo Fontana
Stephan Mandt
Padhraic Smyth
Christoph Lippert
AI4TS
24
1
0
08 Jul 2024
Length Optimization in Conformal Prediction
Shayan Kiyani
George Pappas
Hamed Hassani
23
13
0
27 Jun 2024
Single Trajectory Conformal Prediction
Brian Lee
Nikolai Matni
32
2
0
03 Jun 2024
Conformal Off-Policy Prediction for Multi-Agent Systems
Tom Kuipers
Renukanandan Tumu
Shuo Yang
M. Kazemi
Rahul Mangharam
Nicola Paoletti
OffRL
38
1
0
25 Mar 2024
Conformal Predictive Programming for Chance Constrained Optimization
Yiqi Zhao
Xinyi Yu
Matteo Sesia
Lars Lindemann
Lars Lindemann
34
3
0
12 Feb 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
18
2
0
12 Dec 2023
PAC-Bayes Generalization Certificates for Learned Inductive Conformal Prediction
Apoorva Sharma
Sushant Veer
Asher Hancock
Heng Yang
Marco Pavone
Anirudha Majumdar
41
8
0
07 Dec 2023
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Yiqi Zhao
Bardh Hoxha
Georgios Fainekos
Jyotirmoy V. Deshmukh
Lars Lindemann
14
13
0
16 Nov 2023
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers
Yuang Geng
Jake Brandon Baldauf
Souradeep Dutta
Chao Huang
Ivan Ruchkin
25
5
0
08 Nov 2023
Forking Uncertainties: Reliable Prediction and Model Predictive Control with Sequence Models via Conformal Risk Control
Matteo Zecchin
Sangwoo Park
Osvaldo Simeone
26
15
0
16 Oct 2023
Conformal Temporal Logic Planning using Large Language Models
J. Wang
J. Tong
Kai Liang Tan
Yevgeniy Vorobeychik
Y. Kantaros
LM&Ro
34
19
0
18 Sep 2023
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference
Navid Hashemi
Xin Qin
Lars Lindemann
Jyotirmoy V. Deshmukh
AI4CE
21
17
0
17 Sep 2023
CODiT: Conformal Out-of-Distribution Detection in Time-Series Data
R. Kaur
Kaustubh Sridhar
Sangdon Park
Susmit Jha
Anirban Roy
O. Sokolsky
Insup Lee
OODD
AI4TS
135
27
0
24 Jul 2022
Sample-Efficient Safety Assurances using Conformal Prediction
Rachel Luo
Shengjia Zhao
Jonathan Kuck
B. Ivanovic
Silvio Savarese
Edward Schmerling
Marco Pavone
45
56
0
28 Sep 2021
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction
Sangdon Park
Osbert Bastani
Nikolai Matni
Insup Lee
UQCV
118
68
0
31 Dec 2019
1