On the run-time verification of autonomy software | IEEE Conference Publication | IEEE Xplore