TY  - RPRT
TI  - Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest
AU  - Matt Luckcuck
AU  - Rafael C. Cardoso
PY  - 2021
UR  - https://arxiv.org/abs/2106.04512
ID  - 2106.04512
ER  -