Formal Verification of Neural Network Controlled Autonomous Systems
神经网络控制自主系统的形式验证
机构 * Department of Electrical ; Computer Engineering University of Maryland, College Park
专题命中 激光雷达 :LiDAR(summary_cn,abstract);分类 cs.RO、cs.AI
AI总结 本文研究了如何形式验证配备神经网络控制器的自主机器人在LiDAR图像处理中安全性的核心问题,通过构建有限状态抽象并利用可达性分析计算安全的初始条件,提出了一种多项式时间算法来分区工作空间并计算对应的仿射成像函数,同时利用SMC编码分析神经网络行为,通过数值模拟验证了算法的效率。