Formal analysis of the compact position reporting algorithm

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, and François Bobot

February 2021