A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Specifying real-time properties with metric temporal logic