发行时间：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...
普通账号
