この研究では、Airbusが開発中の滑走路物体分類器の堅牢性を評価した。
まず、ノイズ、明るさ、コントラストの3つの一般的な画像摂動に対する堅牢性を検証するための入力プロパティを定義した。次に、これらの摂動を効率的にエンコーディングする手法を提案し、Marabouベリファイアを用いて検証を行った。
検証の結果は以下の通り:
全体として、この研究は深層学習ベースの安全重要システムの検証における形式手法の有用性を示している。今後は、より複雑なネットワークや他の摂動タイプの検証、検証手法の改善などに取り組む予定である。
Til et andet sprog
fra kildeindhold
arxiv.org
Vigtigste indsigter udtrukket fra
by Yizh... kl. arxiv.org 04-04-2024
https://arxiv.org/pdf/2402.00035.pdfDybere Forespørgsler