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

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)

Modeling Temporally Dynamic Environments for Persistent Autonomous Agents. - Matthew Joseph O'Brien; Ronald Craig Arkin (FLAIRS, 2017)

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)

An Artificial Circadian System for a Slow and Persistent Robot. - Matthew Joseph O'Brien; Ronald C. Arkin (SAB, 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)

Adapting to environmental dynamics with an artificial circadian system. - Matthew Joseph O'Brien; Ronald C. Arkin (Adapt. Behav., 2020)

Entraining a Robot to its Environment with an Artificial Circadian System. - Matthew Joseph O'Brien (2021)

Multi-modal User Interface for Multi-robot Control in Underground Environments. - Shengkang Chen; Matthew Joseph O'Brien; Fletcher Talbot; Jason Williams 002; Brendan Tidd; Alex Pitt; Ronald C. Arkin (IROS, 2022)

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)

Dynamic task allocation approaches for coordinated exploration of Subterranean environments. - Matthew Joseph O'Brien; Jason Williams 002; Shengkang Chen; Alex Pitt; Ronald C. Arkin; Navinda Kottege (Auton. Robots, 2023)

Heterogeneous Robot Teams with Unified Perception and Autonomy: How Team CSIRO Data61 Tied for the Top Score at the DARPA Subterranean Challenge. - Navinda Kottege; Jason Williams 002; Brendan Tidd; Fletcher Talbot; Ryan Steindl; Mark Cox; Dennis Frousheger; Thomas Hines; Alex Pitt; Benjamin Tam; Brett Wood; Lauren Hanson; et al. (Field Robotics, 2024)