@misc{indiciae1e459b7cec83,
  title = {Collision Avoidance Verification of Multiagent Systems with Learned Policies},
  author = {Zihao Dong and Shayegan Omidshafiei and Michael Everett},
  year = {2024},
  url = {https://arxiv.org/abs/2403.03314},
  note = {Source identifier: 2403.03314}
}