May, 2017

带障碍物不确定性的可证明安全机器人导航

TL;DR研究如何保证机器人在不完美的环境观测下的行动安全性并设计了一种安全性检查的算法实现