Jim Woodcock

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

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

論文

• Engineering Reliable Autonomous Systems: Challenges and Solutions
  2026/6/1
• Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
  2025/6/1
• Software Engineering for Self-Adaptive Robotics: A Research Agenda
  2025/5/1
• New Opportunities for Integrated Formal Methods
  2018/12/1
• From Formalised State Machines to Implementations of Robotic Controllers
  2017/2/1