Assured Run-time Monitoring and Planning: Towards Verification of Neural Networks for Safe Autonomous Operations
IEEE Robotics & Automation Magazine(2020)
摘要
Autonomous systems operating in uncertain environments under the effects of disturbances and noises can reach unsafe states even while using finetuned controllers and precise sensors and actuators. To provide safety guarantees on such systems during motion planning operations, reachability analysis (RA) has been demonstrated to be a powerful tool. RA, however, suffers from computational complexity...
更多查看译文
关键词
Artificial neural networks,Trajectory,Safety,Runtime,Planning,Monitoring
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要