@misc{indiciae96847825fb75,
  title = {Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest},
  author = {Matt Luckcuck and Rafael C. Cardoso},
  year = {2021},
  url = {https://arxiv.org/abs/2106.04512},
  note = {Source identifier: 2106.04512}
}