技术解读 · 未标明发布日期
Safe-SCAD：神经网络鲁棒性与敏感性验证指南
2.3.3 Verification of the learned model
资料概述
利用 Marabou 等工具及聚类分析解释局部鲁棒性、目标鲁棒性与特征敏感性。指南包含驾驶员反应预测示例，并区分仅适用于指定区域和扰动界限的形式化保证。
技术解读 · 未标明发布日期
2.3.3 Verification of the learned model
利用 Marabou 等工具及聚类分析解释局部鲁棒性、目标鲁棒性与特征敏感性。指南包含驾驶员反应预测示例，并区分仅适用于指定区域和扰动界限的形式化保证。