arXiv preprint ·
MA-SafeDiffuser: Safe Multi-Agent Planning with Diffusion Probabilistic Models
- Published
- Source
- arXiv preprint, posted before peer review
- DOI
- 10.65109/PAPW1165
- Original
- Read it at arXiv
- Topics
Abstract
We propose MA-SafeDiffuser, a multi-agent extension of SafeDiffuser that equips diffusion-based trajectory planners with finite-time diffusion invariance guarantees for joint-agent safety specifications. Building on the single-agent construction that embeds control barrier function (CBF) constraints into reverse-diffusion updates, we: (i) formalize joint safe sets as intersections of per-agent and pairwise barrier sets; (ii) derive centralized and decentralized (communication-aware) constrained denoising procedures with provable invariance under mild assumptions; (iii) address local-trap and deadlock phenomena via time-varying specifications and liveness CBFs; and (iv) develop a lightweight benchmarking suite including a multi-agent Maze2D domain. Empirically, MA-SafeDiffuser reduces violation counts relative to unconstrained diffusion baselines, while retaining planning quality. We provide algorithms, proofs, and reference implementations.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Artificial Intelligence
Interpretable Early Termination of Web Navigation Agents via Closed Sequential Pattern Mining
Corralling AI Risks with Grassroots Contracts
Drift No More: Spectral Locking for Long-Horizon Open-Weight Multi-Agent AI
Signed, Sealed, Leaked: Trust Beyond Signature for MCP Toolchains
ATC: Agent Trajectory Control for Role-Contract Enforcement in Black-Box Multi-Agent Systems
Get the few papers worth your time in Artificial Intelligence every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.