Dagan Harrington

Papers

Total Citations

H-Index

About

Dagan Harrington’s research focuses on the formal verification of autonomous robot missions, particularly in high-stakes, uncertain environments. His work addresses a critical challenge: how to provide rigorous performance guarantees for robot teams operating in unpredictable settings, such as those involving counter-weapons of mass destruction (C-WMD) missions. Harrington’s most cited paper, “Automatic Verification of Autonomous Robot Missions” (2014, 19 citations), introduces a software system that verifies behavior-based controllers against environmental and hardware models, ensuring reliability before deployment. A related study (2015, 10 citations) extends this to probabilistic verification for multi-robot systems, offering statistical guarantees despite obstacles and uncertainty. His earlier work (2013, 5 citations) specifically targets C-WMD missions, emphasizing the catastrophic consequences of failure and the need for provable robot success. Collectively, these contributions have shaped the field of dependable autonomous systems, with over 40 citations. Harrington’s research is essential for engineers and scientists developing robots for dangerous missions—from disaster response to defense—where failure is not an option.