Dagan Harrington

According to our database, Dagan Harrington authored at least 4 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Probabilistic Verification of Multi-robot Missions in Uncertain Environments.

Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Dagan Harrington, Feng Tang, Peng Tang

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Automatic Verification of Autonomous Robot Missions.

Matthew Joseph O'Brien, Ronald C. Arkin, Dagan Harrington, Damian M. Lyons, Shu D. Jiang

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

Verifying and validating multirobot missions.

Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Dagan Harrington, T. Liu

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

2013

Performance guarantees for C-WMD robot missions.

Shu D. Jiang, Ronald C. Arkin, Damian M. Lyons, Tsung-Ming Liu, Dagan Harrington

Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2013