TY  - RPRT
TI  - Refining Control Barrier Functions through Hamilton-Jacobi Reachability
AU  - Sander Tonkens
AU  - Sylvia Herbert
PY  - 2022
UR  - https://arxiv.org/abs/2204.12507
ID  - 2204.12507
ER  -