José Cecílio

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

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

論文

• 複数候補シンプレックス構成における設計時同定に基づく安全領域の文脈依存ランタイム構築
  ランタイム保証2026/10/26

  収縮理論と到達可能性解析を組み合わせて高保証制御器の安全領域を設計時に証明し、実行時に文脈依存で安全に切り替える枠組みを提案し、ロボット経路追従で検証した。