Pedro Ribeiro

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

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

論文

• Engineering Reliable Autonomous Systems: Challenges and Solutions
  2026/6/1
• A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
  2025/6/1
• A Framework Leveraging Large Language Models for Autonomous UAV Control in Flying Networks
  2025/6/1
• Model Checking and Verification of Synchronisation Properties of Cobot Welding
  2024/11/1
• Safety assurance of an industrial robotic control system using hardware/software co-verification
  2021/12/1
• From Formalised State Machines to Implementations of Robotic Controllers
  2017/2/1