Rafael C. Cardoso

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

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

論文

• 信頼性の高い自律システムの構築：課題と解決策
  自律システム2026/6/1

  自律システムの信頼性を高めるための課題と解決策をまとめたワークショップ報告書であり、検証・実世界応用・安全なソフトウェアアーキテクチャの3分野に焦点を当て、今後の研究と産業協力のロードマップを提示している。

• Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
  2022/7/1
• Towards Compositional Verification for Modular Robotic Systems
  2020/12/1
• Heterogeneous Verification of an Autonomous Curiosity Rover
  2020/7/1
• Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
  2020/7/1
• Modular Verification of Autonomous Space Robotics
  2019/8/1