NASA Group Achivement award for CPR
Apr 16, 2022
·
1 min read
Aaron Dutle, Mariano Moscato, César A. Muñoz, and myself have received the NASA Group Achivement Award for our work on the formal analysis of the Compact Position Reporting Algorithm (CPR).