Designing autonomous robot missions with performance guarantees. - Damian M. Lyons; Ronald C. Arkin; P. Nirmal; Shu D. Jiang (IROS, 2012)

Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments. - Damian M. Lyons; Shu D. Jiang; Ronald C. Arkin; Prem Nirmal; Stephen D. Fox; Munzir Zafar (PerMIS, 2012)

Getting it right the first time: Robot mission guarantees in the presence of uncertainty. - Damian M. Lyons; Ronald C. Arkin; P. Nirmal; Shu D. Jiang; Tsung-Ming Liu; J. Deeb (IROS, 2013)

Performance guarantees for C-WMD robot missions. - Shu D. Jiang; Ronald C. Arkin; Damian M. Lyons; Tsung-Ming Liu; Dagan Harrington (SSRR, 2013)

A Software Tool for the Design of Critical Robot Missions with Performance Guarantees. - Damian M. Lyons; Ronald C. Arkin; P. Nirmal; Shu D. Jiang; Tsung-Ming Liu (CSER, 2013)

Verifying and validating multirobot missions. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Dagan Harrington; T. Liu (IROS, 2014)

Automatic Verification of Autonomous Robot Missions. - Matthew Joseph O'Brien; Ronald C. Arkin; Dagan Harrington; Damian M. Lyons; Shu D. Jiang (SIMPAR, 2014)

Probabilistic Verification of Multi-robot Missions in Uncertain Environments. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Dagan Harrington; Feng Tang; Peng Tang (ICTAI, 2015)

Mixed-Initiative Human-Robot Interaction: Definition, Taxonomy, and Survey. - Shu D. Jiang; Ronald C. Arkin (SMC, 2015)

SLAM-Based Spatial Memory for Behavior-Based Robots. - Shu D. Jiang; Ronald C. Arkin (SyRoCo, 2015)

Performance Verification for Behavior-Based Robot Missions. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Tsung-Ming Liu; Paramesh Nirmal (IEEE Trans. Robotics, 2015)

Formal Performance Guarantees for Behavior-Based Localization Missions. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Matthew Joseph O'Brien; Feng Tang; Peng Tang (ICTAI, 2016)

Formal performance guarantees for an approach to human in the loop robot missions. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Matthew Joseph O'Brien; F. Tang; P. Tang (SMC, 2017)

Establishing A-Priori Performance Guarantees for Robot Missions that Include Localization Software. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Matthew Joseph O'Brien; Feng Tang; Peng Tang (Int. J. Monit. Surveillance Technol. Res., 2017)

Performance verification for robot missions in uncertain environments. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Matthew Joseph O'Brien; Feng Tang; Peng Tang (Robotics Auton. Syst., 2017)

Toward Initiative Decision-Making for Distributed Human-Robot Teams. - Shu D. Jiang; Jonathan L. Odom (HAI, 2018)

Online 3D Frontier-Based UGV and UAV Exploration Using Direct Point Cloud Visibility. - Jason Williams 002; Shu D. Jiang; Matthew Joseph O'Brien; Glenn Wagner; Emili Hernández; Mark Cox; Alex Pitt; Ronald C. Arkin; Nicolas Hudson (MFI, 2020)

Heterogeneous Ground and Air Platforms, Homogeneous Sensing: Team CSIRO Data61's Approach to the DARPA Subterranean Challenge. - Nicolas Hudson; Fletcher Talbot; Mark Cox; Jason Williams 002; Thomas Hines; Alex Pitt; Brett Wood; Dennis Frousheger; Katrina Lo Surdo; Thomas Molnar; Ryan Steindl; Matt Wildie; et al. (Field Robotics, 2022)