Menuka Ghalan

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

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

論文

• テストケース間の検証：未走行条件におけるエンドツーエンド操舵の形式的証明
  自動運転/形式検証2026/9/10

  自動運転のエンドツーエンド操舵ネットワークに対し、訓練済み重みから境界伝播を用いて未走行の擾乱条件での操舵ドリフトを形式的に検証し、シミュレーションを補完できることを示した。