Armando Tacchella

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

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

論文

• ロボティクス応用におけるビヘイビアツリーの実行意味論
  ビヘイビアツリー2024/8/1

  ロボティクスで広く使われるビヘイビアツリーの構造と実行を抽象データ型として形式化し、実装間の微妙な差異による挙動の不一致を解消する実行意味論を提案した論文。

• A Toolchain to Design, Execute, and Monitor Robots Behaviors
  2021/6/1
• Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
  2021/6/1
• On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
  2017/11/1
• Reverse Engineering of Middleware for Verification of Robot Control Architectures
  2014/11/1