-
最近の投稿
- FEAST: A Flexible Mealtime-Assistance System Towards In-the-Wild Personalization
- Time-Optimized Safe Navigation in Unstructured Environments through Learning Based Depth Completion
- Advances in Compliance Detection: Novel Models Using Vision-Based Tactile Sensors
- Mass-Adaptive Admittance Control for Robotic Manipulators
- DreamGen: Unlocking Generalization in Robot Learning through Video World Models
-
最近のコメント
表示できるコメントはありません。 cs.AI (39879) cs.CL (30187) cs.CV (45175) cs.HC (3051) cs.LG (44808) cs.RO (23879) cs.SY (3632) eess.IV (5170) eess.SY (3624) stat.ML (5830)
「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 はコメントを受け付けていません