尽管神经网络对机器人控制器的设计产生了巨大的影响，但很难验证由它们驱动的复杂机器人的安全性和稳定性 🧵麻省理工学院计算机科学与人工智能实验室（MIT CSAIL）及其他研究人员开发了严格认证复杂机器人系统中Lyapunov条件的方法。他们的算法为机器人创建了具有稳定性保证的神经网络控制器，可能使无人机和自动驾驶汽车的部署更加安全：https://bit.ly/3Yd3KDf
