@misc{indiciae5ad846254123,
  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},
  url = {https://arxiv.org/abs/2102.01434},
  note = {Source identifier: 2102.01434}
}