VVS2019-5155 Verifying Spatiotemporal Systems via Robustness Bounds: An Application to Unmanned Underwater Vehicles

von Liu, T.
Veröffentlicht in ASME Verification and Validation Symposium (2019 : Las Vegas, Nev.) Proceedings of the ASME Verification and Validation Symposium - 2019 (2019)