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

Bibliographische Detailangaben

Veröffentlicht in:	ASME Verification and Validation Symposium (2019 : Las Vegas, Nev.) Proceedings of the ASME Verification and Validation Symposium - 2019
1. Verfasser:	Liu, T. (VerfasserIn)
Weitere Verfasser:	Zhao, X. (VerfasserIn), Quigley, K. (VerfasserIn), Azarm, S. (VerfasserIn), Gabriel, S. A. (VerfasserIn), Lordan, D. J. (VerfasserIn)
Pages:	2019
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2019
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!