Line: 1 to 1 | ||||||||
---|---|---|---|---|---|---|---|---|
Fordham Robotics and Computer Vision Lab Publications | ||||||||
Line: 7 to 7 | ||||||||
CLICK HERE![]() 2017 | ||||||||
Changed: | ||||||||
< < | Damian Lyons, Ron Arkin, Shu Jiang, Matthew O'Brien, Feng Tang and Peng Tang, "Formal performance Guarantees for an Approach to Human in the Loop Robot Missions." To be Published. IEEE Int. Conf. on Systems, Man & Cybernetics, Banff Canada oct. 2017. | |||||||
> > | Damian Lyons, Ron Arkin, Shu Jiang, Matthew O'Brien, Feng Tang and Peng Tang, "Formal performance Guarantees for an Approach to Human in the Loop Robot Missions." IEEE Int. Conf. on Systems, Man & Cybernetics, Banff Canada oct. 2017. | |||||||
Damian Lyons, Ben Barriage and Luca Del Signore “Effect of Field of View on Stereovision-based Visual Homing” To be Published. " IEEE International Conference on Tools with AI , Nov 2017 , Boston MA. | ||||||||
Changed: | ||||||||
< < | Damian Lyons, Anne-Marie Bogar, David Baird “Lightweight Multilingual Software Analysis” J12th int. Conf. on Software Technologies (ICSoft) Madrid Spain, July 2017. | |||||||
> > | Damian Lyons, Anne-Marie Bogar, David Baird “Lightweight Multilingual Software Analysis” 12th int. Conf. on Software Technologies (ICSoft) Madrid Spain, July 2017. | |||||||
Changed: | ||||||||
< < | Damian Lyons, Ron Arkin, Shu Jiang, Matthew O'Brien, Feng Tang and Peng Tang, “Performance Verification for Robot Missions in Uncertain Environments” Accepted. Robotics & Autonomous Systems 2017. | |||||||
> > | Damian Lyons, Ron Arkin, Shu Jiang, Matthew O'Brien, Feng Tang and Peng Tang, “Performance Verification for Robot Missions in Uncertain Environments” Robotics & Autonomous Systems 98 (2017) pp89-104. | |||||||
Damian Lyons, Ron Arkin, Shu Jiang, Matthew O'Brien, Feng Tang and Peng Tang, "Establishing A-Priori Performance Guarantees for Robot Missions that include Localization Software" International Journal of Monitoring and Surveillance Technologies Research (IJMSTR) Volume 5, Issue 1 2017 |