Table of Contents
Fetching ...

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction

Kaizer Rahaman, Jyotirmoy V. Deshmukh, Ashish R. Hota, Lars Lindemann

TL;DR

This work addresses safety guarantees for autonomous planning under distribution shift by introducing a robust conformal-prediction framework that leverages nuisance-parameter conditioning and generative priors. A conditional diffusion model (CARD) captures shift-conditioned distributions, while robust conformal prediction inflates prediction regions to maintain probabilistic safety when deployment data differ from training data. The method integrates these regions into Model Predictive Control, ensuring collision-avoidance constraints hold with probability at least $1-\delta$ even under shifts, demonstrated in ORCA simulations. By deriving analytical bounds and efficient nonconformity-score generation, the approach provides principled, real-time safe planning with generative priors and robust CP, enabling safer deployment in dynamic, open-world environments.

Abstract

Autonomous systems operate in environments that may change over time. An example is the control of a self-driving vehicle among pedestrians and human-controlled vehicles whose behavior may change based on factors such as traffic density, road visibility, and social norms. Therefore, the environment encountered during deployment rarely mirrors the environment and data encountered during training -- a phenomenon known as distribution shift -- which can undermine the safety of autonomous systems. Conformal prediction (CP) has recently been used along with data from the training environment to provide prediction regions that capture the behavior of the environment with a desired probability. When embedded within a model predictive controller (MPC), one can provide probabilistic safety guarantees, but only when the deployment and training environments coincide. Once a distribution shift occurs, these guarantees collapse. We propose a planning framework that is robust under distribution shifts by: (i) assuming that the underlying data distribution of the environment is parameterized by a nuisance parameter, i.e., an observable, interpretable quantity such as traffic density, (ii) training a conditional diffusion model that captures distribution shifts as a function of the nuisance parameter, (iii) observing the nuisance parameter online and generating cheap, synthetic data from the diffusion model for the observed nuisance parameter, and (iv) designing an MPC that embeds CP regions constructed from such synthetic data. Importantly, we account for discrepancies between the underlying data distribution and the diffusion model by using robust CP. Thus, the plans computed using robust CP enjoy probabilistic safety guarantees, in contrast with plans obtained from a single, static set of training data. We empirically demonstrate safety under diverse distribution shifts in the ORCA simulator.

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction

TL;DR

This work addresses safety guarantees for autonomous planning under distribution shift by introducing a robust conformal-prediction framework that leverages nuisance-parameter conditioning and generative priors. A conditional diffusion model (CARD) captures shift-conditioned distributions, while robust conformal prediction inflates prediction regions to maintain probabilistic safety when deployment data differ from training data. The method integrates these regions into Model Predictive Control, ensuring collision-avoidance constraints hold with probability at least even under shifts, demonstrated in ORCA simulations. By deriving analytical bounds and efficient nonconformity-score generation, the approach provides principled, real-time safe planning with generative priors and robust CP, enabling safer deployment in dynamic, open-world environments.

Abstract

Autonomous systems operate in environments that may change over time. An example is the control of a self-driving vehicle among pedestrians and human-controlled vehicles whose behavior may change based on factors such as traffic density, road visibility, and social norms. Therefore, the environment encountered during deployment rarely mirrors the environment and data encountered during training -- a phenomenon known as distribution shift -- which can undermine the safety of autonomous systems. Conformal prediction (CP) has recently been used along with data from the training environment to provide prediction regions that capture the behavior of the environment with a desired probability. When embedded within a model predictive controller (MPC), one can provide probabilistic safety guarantees, but only when the deployment and training environments coincide. Once a distribution shift occurs, these guarantees collapse. We propose a planning framework that is robust under distribution shifts by: (i) assuming that the underlying data distribution of the environment is parameterized by a nuisance parameter, i.e., an observable, interpretable quantity such as traffic density, (ii) training a conditional diffusion model that captures distribution shifts as a function of the nuisance parameter, (iii) observing the nuisance parameter online and generating cheap, synthetic data from the diffusion model for the observed nuisance parameter, and (iv) designing an MPC that embeds CP regions constructed from such synthetic data. Importantly, we account for discrepancies between the underlying data distribution and the diffusion model by using robust CP. Thus, the plans computed using robust CP enjoy probabilistic safety guarantees, in contrast with plans obtained from a single, static set of training data. We empirically demonstrate safety under diverse distribution shifts in the ORCA simulator.
Paper Structure (18 sections, 6 theorems, 56 equations, 5 figures)

This paper contains 18 sections, 6 theorems, 56 equations, 5 figures.

Key Result

lemma 1

Let $\delta\in(0,1)$ be a failure probability and $Y^{(0)} \sim \mathcal{D}_{\mathrm{test}}(\zeta)$ and $Y^{(1)},\hdots, Y^{(K)} \sim \mathcal{D}_{\mathrm{train}}(\eta)$ be test and training trajectories for the latent factor $\zeta$ and nuisance parameter $\eta$. Let $R^{(0)}\sim\mathcal{R}_{\mathr

Figures (5)

  • Figure :
  • Figure :
  • Figure :
  • Figure :
  • Figure :

Theorems & Definitions (8)

  • lemma 1
  • proof
  • lemma 2
  • theorem 1
  • proof
  • lemma 3: Adapted from cauchois2024robust
  • lemma 4: Corollary 4.2 from aolaritei2025conformal
  • theorem 2: Analytical 2-Wasserstein Bound, li2025non