ロバスト性の評価

形式的ロバスト性評価

指定された領域内のあらゆる可能な摂動に対して保証を証明することにより、モデルのロバスト性を検証する数学的に厳密なアプローチ。経験的手法とは異なり、形式的評価は絶対的な確実性を提供するが、計算コストが高くなることが多い。

← 戻る