-
最近の投稿
- 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)
「93C30」カテゴリーアーカイブ
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 はコメントを受け付けていません