A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Formal methods: state of the art and future directions