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

Aaron Kane et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics