Zhong, B.; Cao, H.; Zamani, M.; Caccamo, M. Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games. AAAI 2023, 37, 15340-15349.