B. Zhong, H. Cao, M. Zamani, and M. Caccamo, “Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games”, AAAI, vol. 37, no. 12, pp. 15340-15349, Jun. 2023.