TY  - RPRT
TI  - Learning a Formally Verified Control Barrier Function in Stochastic Environment
AU  - Manan Tayal
AU  - Hongchao Zhang
AU  - Pushpak Jagtap
AU  - Andrew Clark
AU  - Shishir Kolathaya
PY  - 2024
UR  - https://arxiv.org/abs/2403.19332
ID  - 2403.19332
ER  -