Emma R. Faith

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

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

論文

• 実現可能性だけでは不十分：合成されたロボットスーパーバイザの符号化・ライブネス・監査
  タスクプランニング2026/9/24

  ROS 2 FlexBE向けにGR(1)仕様を生成し、合成前に仮定を解析、戦略を監査、状態を削減して実行可能なステートマシンを出力するオープンソースパイプラインを提案し、4つのケーススタディで符号化法とライブネス定式化を比較した。