-
最近の投稿
- Contextual Breach: Assessing the Robustness of Transformer-based QA Models
- ExtractGPT: Exploring the Potential of Large Language Models for Product Attribute Value Extraction
- Gender Representation and Bias in Indian Civil Service Mock Interviews
- LOLA — An Open-Source Massively Multilingual Large Language Model
- NN-Copula-CD: A Copula-Guided Interpretable Neural Network for Change Detection in Heterogeneous Remote Sensing Images
-
最近のコメント
表示できるコメントはありません。 cs.AI (27123) cs.CL (20460) cs.CR (2134) cs.CV (33915) cs.LG (31868) cs.RO (15435) cs.SY (2406) eess.IV (4159) eess.SY (2400) stat.ML (4293)
「93-08 (Primary) 93B03」カテゴリーアーカイブ
Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes
要約 ニューラル ネットワーク制御システム (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 はコメントを受け付けていません