Mykel Kochenderfer 是 Stanford University 的航空航天系副教授、斯坦福 AI 安全中心联合主任。本期以航空防撞系统 ACAS X 为例讨论高可靠系统的安全验证方法。
Mykel Kochenderfer is affiliated with Stanford University (航空航天系副教授、斯坦福 AI 安全中心联合主任). Discusses safety validation for high-assurance systems using the ACAS X aircraft collision-avoidance system in this session.
介绍来源
原发布方节目与人物署名 · 核对于 2026-10-18。依据原节目发布时的介绍。