activity
20222024
most citedSafety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime

5 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2023

Simultaneous Synthesis and Verification of Neural Control Barrier Functions through Branch-and-Bound Verification-in-the-loop Training

Xinyu Wang, Luzia Knoedler, Frederik Baymler Mathiesen +1

Control Barrier Functions (CBFs) that provide formal safety guarantees have been widely used for safety-critical systems. However, it is non-trivial to design a CBF. Utilizing neur…