Apurva S. Badithela

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

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

論文

• 時相論理仕様に基づく離散意思決定システム向け反応型テストのフロー合成
  テスト合成2024/4/1

  時相論理仕様から、静的・反応型障害物や動的テストエージェントを含むテスト環境を合成するフローベース手法を提案し、四足歩行ロボットで実証した。