The Importance of Safety Invariants in Robustness Testing Autonomy Systems | IEEE Conference Publication | IEEE Xplore