Abhinav Verma

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

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

論文

• 強化学習仕様の自動精緻化フレームワークAutoSpec
  強化学習2025/12/1

  強化学習の論理仕様を探索に基づいて自動的に精緻化し、複雑なタスクの学習を容易にするフレームワークAutoSpecを提案。

• 最終的割引による時相論理の反事実経験リプレイ
  強化学習2023/3/1

  線形時相論理(LTL)仕様を最大確率で満たす方策を強化学習で見つけるため、最終的割引という価値関数プロキシと、反事実推論によるオフポリシーデータ生成法を提案した。