TY  - RPRT
TI  - Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems
AU  - Ameneh Nejati
AU  - Sadegh Soudjani
AU  - Majid Zamani
PY  - 2020
UR  - https://arxiv.org/abs/2005.01287
ID  - 2005.01287
ER  -