技术解读 · 未标明发布日期
TIGARS：ML 形式化验证与静态分析的范围和局限
2.3.3 Verification of the learned model
资料概述
评述自动驾驶 ML 模型的静态分析与形式化验证。指南讨论逐点鲁棒性、功能规范和工具，并强调必须明确受限输入区域内的保证究竟支持哪些保障主张。
技术解读 · 未标明发布日期
2.3.3 Verification of the learned model
评述自动驾驶 ML 模型的静态分析与形式化验证。指南讨论逐点鲁棒性、功能规范和工具，并强调必须明确受限输入区域内的保证究竟支持哪些保障主张。