• 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) ...
    • Formal Performance Guarantees for Behavior-Based Localization Missions 

      Lyons, Damian M.; Arkin, Ronald C. (Georgia Institute of Technology, 2016-11)
      Localization and mapping algorithms can allow a robot to navigate well in an unknown environment. However, whether such algorithms enhance any specific robot mission is currently a matter for empirical validation. In this ...
    • 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 ...