TY  - RPRT
TI  - Small-Gain Theorem for Safety Verification of Interconnected Systems
AU  - Ziliang Lyu
AU  - Xiangru Xu
AU  - Yiguang Hong
PY  - 2020
DO  - 10.1016/j.automatica.2022.110178
UR  - https://arxiv.org/abs/2011.09173
ID  - 2011.09173
ER  -