Kenta Hoshino Zhuoyuan Wang Yorie Nakahira Scalable Long-Term Safety Certificate for Large-Scale Systems. 1285-1290 2023 7 IEEE Control. Syst. Lett. https://doi.org/10.1109/LCSYS.2022.3233842 db/journals/csysl/csysl7.html#HoshinoWN23
