TY - RPRT TI - Recurrent Control Barrier Functions: A Path Towards Nonparametric Safety Verification AU - Jixian Liu AU - Enrique Mallada PY - 2025 UR - https://arxiv.org/abs/2510.02127 ID - 2510.02127 ER -