REVIEW 5 cited by
SafeDiffuser: Safe Planning with Diffusion Probabilistic Models
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
Diffusion model-based approaches have shown promise in data-driven planning, but there are no safety guarantees, thus making it hard to be applied for safety-critical applications. To address these challenges, we propose a new method, called SafeDiffuser, to ensure diffusion probabilistic models satisfy specifications by using a class of control barrier functions. The key idea of our approach is to embed the proposed finite-time diffusion invariance into the denoising diffusion procedure, which enables trustworthy diffusion data generation. Moreover, we demonstrate that our finite-time diffusion invariance method through generative models not only maintains generalization performance but also creates robustness in safe data generation. We test our method on a series of safe planning tasks, including maze path generation, legged robot locomotion, and 3D space manipulation, with results showing the advantages of robustness and guarantees over vanilla diffusion models.
Forward citations
Cited by 5 Pith papers
-
Certified Guidance for Planning with Deep Generative Models
A generative planner can be made to satisfy a temporal-logic specification with probability 1 by truncating its latent distribution to hyper-rectangles certified by neural network verification.
-
Constrained Diffusers for Safe Planning and Control
Constrained Diffusers enforces trajectory constraints on pre-trained diffusion models without retraining by replacing the reverse process with constrained Langevin sampling.
-
Diffusion Policies for Generative Modeling of Spacecraft Trajectories
A diffusion model trained on 6DoF powered-descent solutions can be composed at inference time with glideslope and risk-map energy functions to generate constrained, multi-modal landing trajectories without retraining.
-
Generative AI for Autonomous Driving: A Review
A review of generative models (VAEs, GANs, diffusion, transformers, LLMs) applied to map generation, scenario generation, trajectory prediction, and motion planning for autonomous driving.
- Risk-Guided Diffusion: Toward Deploying Robot Foundation Models in Space, Where Failure Is Not An Option
Discussion (0). Continue with ORCID to comment.