「93C30」カテゴリーアーカイブ

Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes

投稿日: 2023年6月27日 作成者: jarxiv

要約 ニューラル ネットワーク制御システム (NNCS) の検証と安全性評価は、 … 続きを読む →

カテゴリー: 93-08 (Primary) 93B03, 93C30, 93C41 (Secondary), cs.AI, cs.SY, eess.SY, I.2.8 | Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes はコメントを受け付けていません