TY  - RPRT
TI  - Sample Efficient Certification of Discrete-Time Control Barrier Functions
AU  - Sampath Kumar Mulagaleti
AU  - Andrea Del Prete
PY  - 2025
UR  - https://arxiv.org/abs/2509.03899
ID  - 2509.03899
ER  -