TY  - RPRT
TI  - Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems
AU  - Bingzhuo Zhong
AU  - Abolfazl Lavaei
AU  - Hongpeng Cao
AU  - Majid Zamani
AU  - Marco Caccamo
PY  - 2021
DO  - 10.1016/j.nahs.2021.101110
UR  - https://arxiv.org/abs/2102.05490
ID  - 2102.05490
ER  -