A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman. A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. In Ezio Bartocci, Rupak Majumdar, editors, Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. Volume 9333 of Lecture Notes in Computer Science, pages 102-117, Springer, 2015. [doi]

This author has not been identified. Look up 'Aaron Kane' in GoogleThis author has not been identified. Look up 'Omar Chowdhury' in GoogleThis author has not been identified. Look up 'Anupam Datta' in GoogleThis author has not been identified. Look up 'Philip Koopman' in Google

runs on WebDSL