TY  - RPRT
TI  - Finite Boundary-Layer Residence Certificates for Non-Strict Control Barrier Functions
AU  - Tianyu Han
AU  - Guangwei Wang
AU  - Bo Wang
PY  - 2026
UR  - https://arxiv.org/abs/2603.16074
ID  - 2603.16074
ER  -