@misc{indiciaedae8e1ad7606,
  title = {Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture},
  author = {Bingzhuo Zhong and Hongpeng Cao and Majid Zamani and Marco Caccamo},
  year = {2022},
  url = {https://arxiv.org/abs/2203.14924},
  note = {Source identifier: 2203.14924}
}