Armando Tacchella

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

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

論文

• Execution Semantics of Behavior Trees in Robotic Applications
  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