TY  - RPRT
TI  - Verification of High-Order Control Barrier Functions by Computing Class K Functions
AU  - Ellie Pond
AU  - Matthew Hale
PY  - 2026
UR  - https://arxiv.org/abs/2502.03409
ID  - 2502.03409
ER  -