TY  - RPRT
TI  - Verification of Initial-State Opacity for Switched Systems: A Compositional Approach
AU  - Siyuan Liu
AU  - Abdalla Swikir
AU  - Majid Zamani
PY  - 2020
DO  - 10.1016/j.nahs.2021.101084
UR  - https://arxiv.org/abs/2006.16661
ID  - 2006.16661
ER  -