Matt Webster

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study

   70 次引用 · 2015
2. 2
   An Overview of Verification and Validation Challenges for Inspection Robots

   60 次引用 · 2021
3. 3
   Formal Verification of an Autonomous Personal Robotic Assistant

   31 次引用 · 2014
4. 4
   The “Why Did You Do That?” Button: Answering Why-Questions for End Users of Robotic Systems

   24 次引用 · 2020
5. 5
   A Review of Verification and Validation for Space Autonomous Systems

   24 次引用 · 2021
6. 6
   “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours

   24 次引用 · 2014
7. 7
   CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours

   10 次引用 · 2017
8. 8
   Certification of Safe and Trusted Robotic Inspection of Assets

   9 次引用 · 2018
9. 9
   Can you trust your robotic assistant

   7 次引用 · 2013
10. 10
    Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study

    7 次引用 · 2021

主要合作者