5 citations · 5 across the 3 of their papers we have counts for
3 papers
math.OC2024★ 5 cited
Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime
Luzia Knoedler, Oswin So, Ji Yin +5
Control Barrier Functions (CBFs) have proven to be an effective tool for performing safe control synthesis for nonlinear systems. However, guaranteeing safety in the presence of di…
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…
cs.RO2022
Improving Pedestrian Prediction Models with Self-Supervised Continual Learning
Luzia Knoedler, Chadi Salmi, Hai Zhu +2
Autonomous mobile robots require accurate human motion predictions to safely and efficiently navigate among pedestrians, whose behavior may adapt to environmental changes. This pap…