Search Results - "Harrington, Dagan"
-
1
Probabilistic Verification of Multi-robot Missions in Uncertain Environments
Published in 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) (01-11-2015)“…The effective use of autonomous robot teams in highly-critical missions depends on being able to establish performance guarantees. However, establishing a…”
Get full text
Conference Proceeding Journal Article -
2
Performance guarantees for C-WMD robot missions
Published in 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR) (01-10-2013)“…Robotics has been considered as one of the five key technology areas for defense against attacks with weapons of mass destruction (WMD). However, due to the…”
Get full text
Conference Proceeding