论文精选09:52运行时强制:用混合自动机保障自主系统安全自主系统安全是自动驾驶、机器人等领域的核心难题,这篇论文给出了一个可落地的运行时强制方案,做安全关键系统开发的工程师可以直接参考其算法和案例。#运行时强制#混合自动机#安全验证#自主系统aarXiv cs.AI@Mir Md Sajid Sarwar 等 4 人原文稍后读已读值得跟进有用关注 运行时强制