A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System.

Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman

Browse the full RV paper archive.