TY  - RPRT
TI  - On the Construction of Barrier Certificate: A Dynamic Programming Perspective
AU  - Yu Chen
AU  - Shaoyuan Li
AU  - Xiang Yin
PY  - 2025
UR  - https://arxiv.org/abs/2507.17222
ID  - 2507.17222
ER  -