Cover Image

Piecewise Stochastic Barrier Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mazouz, Rayan, Mathiesen, Frederik Baymler, Laurenti, Luca, Lahijanian, Morteza
Format:	Preprint
Published:	2024
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Stochastic Barrier Certificates in the Presence of Dynamic Obstacles
by: Mazouz, Rayan, et al.
Published: (2026)

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

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

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

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

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

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

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

Scalable control synthesis for stochastic systems via structural IMDP abstractions
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

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

A survey on robustness in trajectory prediction for autonomous vehicles
by: Hagenus, Jeroen, et al.
Published: (2024)

Certified Neural Approximations of Nonlinear Dynamics
by: Mathiesen, Frederik Baymler, et al.
Published: (2025)

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

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

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

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

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

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

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

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

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

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

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

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

Evaluating randomized smoothing as a defense against adversarial attacks in trajectory prediction
by: Schumann, Julian F., et al.
Published: (2026)

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

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

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

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

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

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

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

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

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

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

Stochastic Neural Control Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2025)

Non-smooth Control Barrier Functions for Stochastic Dynamical Systems
by: Vahs, Matti, et al.
Published: (2023)

Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes
by: Aali, Mohammad, et al.
Published: (2024)

Interval Markov Decision Processes with Continuous Action-Spaces
by: Delimpaltadakis, Giannis, et al.
Published: (2022)