TY  - RPRT
TI  - Verification Framework for the Union of Control Barrier Functions
AU  - Chuanrui Jiang
AU  - Andrew Clark
PY  - 2026
UR  - https://arxiv.org/abs/2606.07892
ID  - 2606.07892
ER  -