2 citations · 6 across the 9 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Estimating Control Barriers from Offline Data
Hongzhan Yu, Seth Farrell, Ryo Yoshimitsu +3
Learning-based methods for constructing control barrier functions (CBFs) are gaining popularity for ensuring safe robot control. A major limitation of existing methods is their rel…
eess.SY2024★ 2 cited
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
Hongchao Zhang, Zhizhen Qin, Sicun Gao +1
Neural Control Barrier Functions (NCBFs) have shown significant promise in enforcing safety constraints on nonlinear autonomous systems. State-of-the-art exact approaches to verify…