Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? - Angelo Ferrando 001; Zeid Kootbally; Pavel Piliptchak; Rafael C. Cardoso 001; Craig Schlenoff; Michael Fisher 001 (AIRO@AI*IA, 2020)