Verifying spatiotemporal systems via robustness bounds: An application to unmanned underwater vehicles - Liu, T.; Zhao, X.; Quigley, Kevin; Azarm, S.; Gabriel, Steven A. (Proceedings of the ASME 2019 Verification and Validation Symposium, 2019)