The following publications are possibly variants of this publication:
- Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systemsAbolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani. cpsweek 2021: 7-8 [doi]
- Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic GamesBingzhuo Zhong, Hongpeng Cao, Majid Zamani 0001, Marco Caccamo. AAAI 2023: 15340-15349 [doi]
- Sandboxing Controllers for Cyber-Physical SystemsStanley Bak, Karthik Manamcheri, Sayan Mitra, Marco Caccamo. iccps 2011: 3-12 [doi]
- Formal Methods for Sandboxing Controllers in Cyber-Physical Systems Bingzhuo Zhong. PhD thesis, Technical University of Munich, Germany, 2023. [doi]
- Sandboxing Controllers for Stochastic Cyber-Physical SystemsBingzhuo Zhong, Majid Zamani, Marco Caccamo. formats 2019: 247-264 [doi]