Zhong, B., H. Cao, M. Zamani, and M. Caccamo. “Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 12, June 2023, pp. 15340-9, doi:10.1609/aaai.v37i12.26789.