「68Q60」カテゴリーアーカイブ

Verifying Safety of Neural Networks from Topological Perspectives

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

要約 ニューラル ネットワーク (NN) は、自動運転車などの安全性が重要なシス … 続きを読む →

カテゴリー: 68Q60, 68T07, cs.AI, cs.LG, I.2.0 | Verifying Safety of Neural Networks from Topological Perspectives はコメントを受け付けていません

Geometric Model Checking of Continuous Space

投稿日: 2022年10月12日 作成者: jarxiv

要約 トポロジ空間モデル チェックは、モーダル ロジックのトポロジ解釈のためにモ … 続きを読む →

カテゴリー: 68Q60, cs.AI, cs.CV, cs.GR, cs.LO, I.4.6 | Geometric Model Checking of Continuous Space はコメントを受け付けていません

Geometric Model Checking of Continuous Space

投稿日: 2022年10月4日 作成者: jarxiv

要約 トポロジカル空間モデル検査は、モーダル論理のトポロジカルな解釈のためにモデ … 続きを読む →

カテゴリー: 68Q60, cs.AI, cs.CV, cs.GR, cs.LO, I.4.6 | Geometric Model Checking of Continuous Space はコメントを受け付けていません