Sanjoy Baruah

収録論文 1本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• 基盤モデルを組み込んだ学習型サイバーフィジカルシステムの保証：テスト・検証・実行時保証に向けたニューロシンボリックな研究課題
  検証・保証2026/10/29

  基盤モデルを組み込んだ学習型CPSのシステムレベル保証に向け、ニューロシンボリック構成・仕様に基づくテスト・合成検証と実行時保証を統合する「基盤モデル保証スタック」を提案し、研究課題を整理した。