• Designing Autonomous Robot Missions with Performance Guarantees 

      Lyons, Damian M.; Arkin, Ronald C.; Nirmal, Prem (Georgia Institute of Technology, 2012)
      This paper describes the need and methods required to construct an integrated software verification and mission specification system for use in robotic missions intended for counter-weapons of mass destruction (c-WMD) ...
    • Performance Guarantees for C - WMD Robot Missions 

      Jiang, Shu; Arkin, Ronald C.; Lyons, Damian M.; Liu, Tsung-Ming; Harrington, Dagan (Georgia Institute of Technology, 2013)
      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 of counter-WMD (C-WMD) missions ...
    • A Software Tool for the Design of Critical Robot Missions with Performance Guarantees 

      Lyons, Damian M.; Arkin, Ronald C.; Nirmal, Paramesh; Jiang, Shu.; Liu, Tsung-Ming (Georgia Institute of TechnologyElsevier B.V., 2013-03)
      Deploying a robot as part of a counter-weapons of mass destruction mission demands that the robotic software operates with high assurance. A unique feature of robotic software development is the need to perform predictably ...