Felix Ingrand

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

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

論文

• ロボティクスにおけるBehavior Treeの形式的実装
  ロボティクスソフトウェア/形式検証2025/2/1

  Behavior Treeを形式言語Fiacreに自動変換し、オフライン検証と実行時検証を可能にする枠組みを提案し、2つのロボティクス応用で実証した。