Félix Ingrand

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

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

論文

• PROSKILL: ロボティクス行動のための形式スキル言語
  形式手法/ロボットプログラミング2024/3/1

  ロボットの行動スキルを形式的に記述・検証・実行するための言語PROSKILLを提案し、ドローンによる調査ミッションで有効性を示した。

• GenoM3 Templates: from Middleware Independence to Formal Models Synthesis
  2018/7/1
• A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
  2013/9/1