斯坦福课程概览：安全关键系统的验证（AA228V）

斯坦福在线发布 AA228V 课程介绍视频，讲师 Sydney Katz 与副教授 Mykel Kochenderfer 讲解如何通过仿真在部署前发现自主系统失效、用重要性采样和马尔可夫链蒙特卡洛估计失效概率，以及用时序逻辑和可达性分析等形式化方法验证安全属性。课程指出航空业数十年的验证经验不足以直接套用于新一代 AI 自主系统。

AI推荐理由 斯坦福 AA228V 课程介绍，由讲师 Sydney Katz 与副教授 Mykel Kochenderfer 讲解安全关键自主系统的验证方法，包括仿真找失效、重要性采样与 MCMC 估计失效概率、时序逻辑与可达性分析等形式化验证。内容为课程宣传，未给出具体研究数据或新成果，但对自主系统安全验证方向有教育参考价值。