Dagan Harrington

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Space Exploration

Search And Rescue

Multiple Robots

Top Venues

Publications

Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagan Harrington, Feng Tang, Peng Tang
Probabilistic Verification of Multi-robot Missions in Uncertain Environments. ICTAI (2015)
Matthew Joseph O'Brien, Ronald C. Arkin, Dagan Harrington, Damian M. Lyons, Shu Jiang
Automatic Verification of Autonomous Robot Missions. SIMPAR (2014)
Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagan Harrington, T. Liu
Verifying and validating multirobot missions. IROS (2014)
Shu Jiang, Ronald C. Arkin, Damian M. Lyons, Tsung-Ming Liu, Dagan Harrington
Performance guarantees for C-WMD robot missions. SSRR (2013)