TY  - RPRT
TI  - Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory
AU  - Daniel C. H. Tan
AU  - Fernando Acero
AU  - Robert McCarthy
AU  - Dimitrios Kanoulas
AU  - Zhibin Li
PY  - 2023
UR  - https://arxiv.org/abs/2306.04026
ID  - 2306.04026
ER  -