Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2403.19332
Cited By
Learning a Formally Verified Control Barrier Function in Stochastic Environment
28 March 2024
Manan Tayal
Hongchao Zhang
Pushpak Jagtap
Andrew Clark
Shishir N Y Kolathaya
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Learning a Formally Verified Control Barrier Function in Stochastic Environment"
1 / 1 papers shown
Title
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
Charles Dawson
Zengyi Qin
Sicun Gao
Chuchu Fan
117
172
0
14 Sep 2021
1
