TY  - RPRT
TI  - Small-Gain Theorem for Safety Verification under High-Relative-Degree Constraints
AU  - Ziliang Lyu
AU  - Xiangru Xu
AU  - Yiguang Hong
PY  - 2022
UR  - https://arxiv.org/abs/2204.04376
ID  - 2204.04376
ER  -