BibTeX record journals/corr/abs-2203-14924

download as .bib file

@article{DBLP:journals/corr/abs-2203-14924,
  author       = {Bingzhuo Zhong and
                  Hongpeng Cao and
                  Majid Zamani and
                  Marco Caccamo},
  title        = {Sandboxing (AI-based) Unverified Controllers in Stochastic Games:
                  An Abstraction-based Approach with Safe-visor Architecture},
  journal      = {CoRR},
  volume       = {abs/2203.14924},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.14924},
  doi          = {10.48550/ARXIV.2203.14924},
  eprinttype    = {arXiv},
  eprint       = {2203.14924},
  timestamp    = {Tue, 20 Dec 2022 14:49:46 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-14924.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics