Imagen de Portada

Stochastic Barrier Certificates in the Presence of Dynamic Obstacles

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mazouz, Rayan, Laurenti, Luca, Lahijanian, Morteza
Formato:	Preprint
Publicado:	2026
Materias:	Robotics Probability
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Piecewise Stochastic Barrier Functions
por: Mazouz, Rayan, et al.
Publicado: (2024)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
por: Mazouz, Rayan, et al.
Publicado: (2022)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
por: Mazouz, Rayan, et al.
Publicado: (2026)

Piecewise Control Barrier Functions for Stochastic Systems
por: Mazouz, Rayan, et al.
Publicado: (2025)

Data-Driven Permissible Safe Control with Barrier Certificates
por: Mazouz, Rayan, et al.
Publicado: (2024)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
por: Mazouz, Rayan, et al.
Publicado: (2026)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
por: Laurenti, Luca, et al.
Publicado: (2023)

Provably Safe Motion Planning Under Unknown Disturbances
por: Gracia, Ibon, et al.
Publicado: (2026)

Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification
por: Reed, Robert, et al.
Publicado: (2024)

Verification of Unknown Dynamical Systems via Autoencoder Latent Space
por: Reed, Robert, et al.
Publicado: (2025)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
por: Gracia, Ibon, et al.
Publicado: (2024)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
por: Figueiredo, Eduardo, et al.
Publicado: (2024)

Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics
por: Muvvala, Karan, et al.
Publicado: (2024)

Extended Version: Multi-Robot Motion Planning with Cooperative Localization
por: Theurkauf, Anne, et al.
Publicado: (2025)

Promises of Deep Kernel Learning for Control Synthesis
por: Reed, Robert, et al.
Publicado: (2023)

Sampling-based Task and Kinodynamic Motion Planning under Semantic Uncertainty
por: Ho, Qi Heng, et al.
Publicado: (2026)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
por: Skovbekk, John, et al.
Publicado: (2021)

Rough Stochastic Pontryagin Maximum Principle and an Indirect Shooting Method
por: Lew, Thomas
Publicado: (2025)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
por: Amorese, Peter, et al.
Publicado: (2025)

Fast Collision Probability Estimation for Automated Driving using Multi-circular Shape Approximations
por: Tolksdorf, Leon, et al.
Publicado: (2024)

A Data-driven Contact Estimation Method for Wheeled-Biped Robots
por: Gökbakan, Ü. Bora, et al.
Publicado: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
por: Mathiesen, Frederik Baymler, et al.
Publicado: (2024)

Kino-PAX$^+$: Near-Optimal Massively Parallel Kinodynamic Sampling-based Motion Planner
por: Perrault, Nicolas, et al.
Publicado: (2026)

Online Pareto-Optimal Decision-Making for Complex Tasks using Active Inference
por: Amorese, Peter, et al.
Publicado: (2024)

Stochastic Games for Interactive Manipulation Domains
por: Muvvala, Karan, et al.
Publicado: (2024)

Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner
por: Perrault, Nicolas, et al.
Publicado: (2024)

Unified Stochastic Framework for Neural Network Quantization and Pruning
por: Zhang, Haoyu, et al.
Publicado: (2024)

Dynamic Neural Potential Field: Online Trajectory Optimization in the Presence of Moving Obstacles
por: Staroverov, Aleksei, et al.
Publicado: (2024)

Dynamic Collision Avoidance Using Velocity Obstacle-Based Control Barrier Functions
por: Huang, Jihao, et al.
Publicado: (2025)

Learning specifications for reactive synthesis with safety constraints
por: Watanabe, Kandai, et al.
Publicado: (2026)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
por: Cauchi, Nathalie, et al.
Publicado: (2019)

Safe Reinforcement Learning of Robot Trajectories in the Presence of Moving Obstacles
por: Kiemel, Jonas, et al.
Publicado: (2024)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
por: Gracia, Ibon, et al.
Publicado: (2022)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
por: Gracia, Ibon, et al.
Publicado: (2024)

Differentiable Optimization Based Time-Varying Control Barrier Functions for Dynamic Obstacle Avoidance
por: Dai, Bolun, et al.
Publicado: (2023)

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
por: Adams, Steven, et al.
Publicado: (2024)

Introducing Delays in Multi-Agent Path Finding
por: Kottinger, Justin, et al.
Publicado: (2023)

Falsification of Autonomous Systems in Rich Environments
por: Elimelech, Khen, et al.
Publicado: (2024)

Bayesian Inferential Motion Planning Using Heavy-Tailed Distributions
por: Vaziri, Ali, et al.
Publicado: (2025)

Multi-Agent Obstacle Avoidance using Velocity Obstacles and Control Barrier Functions
por: Roncero, Alejandro Sánchez, et al.
Publicado: (2024)