Félix Ingrand

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

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

論文

• PROSKILL: A formal skill language for acting in robotics
  2024/3/1
• 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