• Publications
  • Influence
Automatic Verification of Autonomous Robot Missions
Before autonomous robotics can be used for dangerous or critical missions, performance guarantees should be made available. This paper overviews a software system for the verification ofExpand
  • 25
  • 2
Probabilistic Verification of Multi-robot Missions in Uncertain Environments
The effective use of autonomous robot teams in highly-critical missions depends on being able to establish performance guarantees. However, establishing a guarantee for the behavior of an autonomousExpand
  • 10
Verifying and validating multirobot missions
We have developed an approach that can be used by mission designers to determine whether or not a performance guarantee for their mission software, when carried out under the uncertain conditions ofExpand
  • 12
Performance guarantees for C-WMD robot missions
Robotics has been considered as one of the five key technology areas for defense against attacks with weapons of mass destruction (WMD). However, due to the mass impact nature of WMD, failures ofExpand
  • 6
Getting it Right the First Time: Verification of Behavior-based Multirobot Missions
Position Paper Getting it right the first time: Verification of Behavior-based Multirobot Missions Damian Lyons, Ronald Arkin, Shu Jiang, Dagan Harrington and Matthew O'Brien Dept. Of Computer &Expand
SU‐D‐BRB‐03: Planning Margin Implications for Multiple‐Target, Single‐Isocenter VMAT SRS Based On Image Guidance Tolerances
Purpose: Single-isocenter, multiple target VMAT SRS for multiple brain metastases typically features field isocenter positional displacement from the individual lesion centroids. This study examinesExpand