发行时间：0001.01.01
总页数：7
编辑：
综保科技
摘要：
Case Study: Safety Verification of an Unmanned Underwater Vehicle
Diego Manzanas Lopez
Vanderbilt University
Patrick Musau
Vanderbilt University
Nathaniel Hamilton
Vanderbilt University
Hoang-Dung Tran
Vanderbilt University
Taylor T. Jonhson
Vanderbilt University
Abstract—This manuscript evaluates the safety of a neural network controller that seeks to ensure that an Unmanned Underwater Vehicle (UUV) does not collide with a static object in its path. To achieve this, we utili...
普通账号
