Rafael Rodrigues da Silva

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

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

論文

• Automatic Trajectory Synthesis for Real-Time Temporal Logic
  2020/9/1
• Formal Connections between Template and Anchor Models via Approximate Simulation
  2019/9/1
• Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications
  2018/3/1
• Reactive Integrated Mission and Motion planning
  2017/11/1
• SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments
  2016/9/1
• Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems
  2016/7/1
• Formal Design of Robot Integrated Task and Motion Planning
  2016/4/1