作者：编辑部(编译)机器人系统安全性soter运行编程形式验证加州大学研究人员
摘要：如今,得益于技术的不断进步和成熟,机器人系统的应用越来越普遍,但人们对于机器人系统的高要求无形中也增加了系统的复杂度.然而,形式验证和系统测试的进步速度与复杂度的增加速度并不成正比.那么,我们该如何确保机器人系统的安全性呢？最近,伯克利加州大学的Ankush Desai、Shromona Ghosh、SanjitA.Seshia、Natarajan Shankar和Ashish Tiwari等研究人员针对这一问题进行研究,提出了运用“运行保证”技术来解决这一问题.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
