@article{anabstractionbasedmethodtoverifymulti,
  title = {An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors},
  author = {Pierre El Mqirmi and Francesco Belardinelli and Borja G. León},
  year = {2021},
  eprint = {2102.01434},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2102.01434v2},
}