Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile and Safe at the same time?