Ashutosh Trivedi

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

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

論文

• CEDAR: 言語誘導型身体的行動のための検証可能なインターフェースとしてのオートマトン
  VLA2026/8/28

  自然言語の指示を正規言語として表現し、決定性有限オートマトンに変換することで、制約を検証可能な実行可能なオブジェクトとして扱うフレームワークを提案。Minecraftで時間的・空間的制約を維持し、LLMクエリを削減できることを示した。

• The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems
  2017/7/1
• Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems
  2016/12/1