Zhong, Bingzhuo, Hongpeng Cao, Majid Zamani, and Marco Caccamo. 2023. “Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (12):15340-49. https://doi.org/10.1609/aaai.v37i12.26789.