Stochastic Barrier Certificates in the Presence of Dynamic Obstacles

arXiv:2604.20208 · cs.RO, math.PR · Submitted 2026-04-22 · Read on arXiv

cs.RO, math.PR

Submitted: 2026-04-22

Updated: 2026-09-18

Terminology

• Benchmark — 18× in this paper · explained in 2 episodes
• Verification — 8× in this paper · explained in 2 episodes
• Conference on Decision and Control — 3× in this paper
• Accuracy — 2× in this paper · explained in 1 episode
• Curse of Dimensionality — 2× in this paper · explained in 6 episodes
• Stochastic Dynamics — 2× in this paper · explained in 2 episodes
• Theoretical Guarantees — 2× in this paper · explained in 2 episodes
• Abstraction — 1× in this paper · explained in 1 episode
• Benchmarking — 1× in this paper · explained in 3 episodes
• Consistency — 1× in this paper · explained in 3 episodes
• Core — 1× in this paper · explained in 2 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Hybrid System — 1× in this paper · explained in 2 episodes

Sources

• Piecewise Stochastic Barrier Functions
• $k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
• StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
• Data-driven verification and synthesis of stochastic systems via barrier certificates
• Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs
• Time-Varying Reach-Avoid Control Certificates for Stochastic Systems

Related papers

• FMT x: An Efficient and Asymptotically Optimal Extension of the Fast Marching Tree for Dynamic Replanning
• MPCFormer: A physics-informed data-driven approach for explainable socially-aware autonomous driving
• RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies
• HRDexDB: A 4D Dexterous Grasping Dataset Across Human and Multiple Robot Embodiments
• APT: Action Expert Pretraining Improves Instruction Generalization of Vision-Language-Action Policies
• Fine-tuning is Not Enough: A Parallel Framework for Collaborative Imitation and Reinforcement Learning in End-to-end Autonomous Driving