Zhong, B., Cao, H., Zamani, M. and Caccamo, M. 2023. Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games. Proceedings of the AAAI Conference on Artificial Intelligence. 37, 12 (Jun. 2023), 15340-15349. DOI:https://doi.org/10.1609/aaai.v37i12.26789.