Tosca Pierro

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

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

論文

• 列挙に基づくニューラルHamilton-Jacobi安全証明の訓練
  安全制御2026/10/20

  安全制約の確率的列挙で学習済みHJ値関数を微調整し、より広い認証領域と短い認証時間を実現。精緻化した証明に基づくシールド機構をIsaac Simと実車レースで検証し、安全違反ゼロを達成した。