activity
20222026
most citedSafety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions

8 citations · 8 across the 9 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.LG2024

Data-Driven Permissible Safe Control with Barrier Certificates

Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen +3

This paper introduces a method of identifying a maximal set of safe strategies from data for stochastic systems with unknown dynamics using barrier certificates. The first step is…

cs.RO2024

Piecewise Stochastic Barrier Functions

Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti +1

This paper presents a novel stochastic barrier function (SBF) framework for safety analysis of stochastic systems based on piecewise (PW) functions. We first outline a general form…