This research was conducted at the Fordham University Robotics and Computer Vision Lab. For more information about graduate programs in Computer Science, see http://www.cis.fordham.edu/graduate.html, and the Fordham University Graduate School of Arts and Sciences, see http://www.fordham.edu/gsas.
Submissions from 2022
A Monte Carlo Framework for Incremental Improvement of Simulation Fidelity, Damian Lyons, James Finocchiaro, Misha Novitsky, and Chris Korpela
A Monte Carlo Framework for Incremental Improvement of Simulation Fidelity, Damian M. Lyons, James Finocchiaro, Misha Novitzky, and Chris Korpela
Visual Homing for Robot Teams: Do you see what I see?, Damian Lyons and Noah Petzinger
Visual Homing for Robot Teams: Do you see what I see?, Damian Lyons and Noah Petzinger
Submissions from 2021
Wall Detection Via IMU Data Classification In Autonomous Quadcopters, Jason Hughes and Damian Lyons
A Meta-Level Approach for Multilingual Taint Analysis, Damian Lyons and Dino Becaj
Submissions from 2020
A New Ectotherm 3D Tracking and Behavior Analytics System Using a Depth-based Approach with Color Validation, with Preliminary Data on Kihansi Spray Toad (Nectophrynoides asperginis) Activity, Philip Bal, Damian Lyons, and Avishai Shuter
Evaluating the Potential of Drone Swarms in Nonverbal HRI Communication, Kasper Grispino, Damian Lyons, and Truong-Huy Nguyen
A Monte Carlo Approach to Closing the Reality Gap, Damian Lyons, James Finocchiaro, Michael Novitzky, and Christopher Korpela
Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software, Damian Lyons and Saba Zahra
DRONE PROXIMITY DETECTION VIA AIR DISTURBANCE ANALYSIS, Qian Zhao and Jason Hughes
Submissions from 2019
Evaluation of Field of View Width in Stereo-vision-Based Visual Homing, Damian Lyons, Benjamin Barriage, and Luca Del Signore
Towards Lakosian Multilingual Software Design Principles, Damian Lyons, Saba Zahra, and Thomas Marshall
A comparison of contextual bandit approaches to human-in-the-loop robot task completion with infrequent feedback, Matt McNeill and Damian Lyons
An Approach to Fast Multi-Robot Exploration in Buildings with Inaccessible Spaces, Matt McNeill and Damian Lyons
Submissions from 2018
Lightweight Call-Graph Construction for Multilingual Software Analysis, Anne-Marie Bogar, Damian Lyons, and David Baird
Lightweight Multilingual Software Analysis, Damian Lyons, Anne Marie Bogar, and David Baird
Lightweight Multilingual Software Analysis, Damian Lyons, Anne Marie Bogar, and David Baird
Submissions from 2017
An Approach to Robust Homing with Stereovision, Fuqiang Fu and Damian Lyons
Establishing A-Priori Performance Guarantees for Robot Missions that include Localization Software, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, and Peng Tang
Formal performance Guarantees for an Approach to Human in the Loop Robot Missions, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, and Peng Tang
Performance Verification for Robot Missions in Uncertain Environments, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, and Peng Tang
Effect of Field of View on Stereovision-based Visual Homing, Damian Lyons, Ben Barriage, and Luca Del Signore
Submissions from 2016
Formal Performance Guarantees for Behavior-based Localization Missions, Damian Lyons, Ron Arkin, Shu Jiang, Matt O'Brien, Feng Tang, and Peng Tang
Landmark Detection with Surprise Saliency Using Convolutional Neural Networks, Feng Tang, Damian Lyons, and Daniel Leeds
Establishing Performance Guarantees for Behavior-Based Robot Missions Using an SMT Solver, Feng Tang, Damian M. Lyons, and Ronald Arkin
Submissions from 2015
Thorough Exploration of Complex Environments with a Space-Based Potential Field, Kenealy Alina, Nicholas Primiano, Alex Keyes, and Lyons Damian
Leveraging area bounds information for autonomous decentralized multi-robot exploration, Tsungming Liu and Damian Lyons
Probabilistic Verification of Multi-Robot Missions in Uncertain Environments, Damian M. Lyons, Ronald Arkin, Shu Jiang, Dagan Harrington, Feng Tang, and Peng Tang
Performance Verification for Behavior-based Robot Missions, Damian M. Lyons, Ron Arkin, Shu Jiang, Tsungming Liu, and Paramesh Nirmal
Evaluation of Parallel Reduction Strategies for Fusion of Sensory Information from a Robot Team., Damian M. Lyons and Joseph Leroy
Homing with stereovision, Paramesh Nirmal and Damian Lyons
Submissions from 2014
Getting it right the first time: Verification of Autonomous Behavior-based Multirobot Missions, Ronald C. Arkin and Damian M. Lyons
Leveraging Area Bounds Information for Autonomous Multi-Robot Exploration, Tsung-Ming Liu and Damian M. Lyons
Cluster Computing for Robotics and Computer Vision, Damian M. Lyons
A Kinect-based system for automatic recording of some pigeon behaviors, Damian Lyons, James MacDonall, and Kelly Cunningham
Verifying and Validating Multirobot Missions, Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagon Harrington, and Tsung-Ming Liu
Getting it right the first time: Verification of Behavior-based Multirobot Missions, Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Dagon Harrington, and Matthew O'Brien
Eliminating Mutual Views in Fusion of Ranging and RGB-D Data From Robot Teams Operating in Confined Areas, Damian M. Lyons and Karma Shrestha
Automatic verification of autonomous robot missions, Matt O'Brien, Ron Arkin, Dagan Harrington, and Damian Lyons
Submissions from 2013
A Cognitive Approach to Vision for a Mobile Robot, Paul Benjamin, Christopher Funk, and Damian M. Lyons
Performance Guarantees for C-WMD Robot Missions, Shu Jiang, Ronald C. Arkin, Damian M. Lyons, Tsung-Ming Liu, and Dagon Harrington
Getting it Right the First time: Robot Mission Guarantees in the Presence of Uncertainty, Damian Lyons, Ron Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu, and Julia Deeb
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees, Damian M. Lyons, Ronald C. Arkin, Paramesh Nirmal, Shu Jiang, and Tsung-Ming Liu
Getting it Right the First time: Robot Mission Guarantees in the Presence of Uncertainty, Damian M. Lyons, Ronald C. Arkin, Paramesh Nirmal, Shu Jiang, Tsung-Ming Liu, and J. Deeb
Performance Verification for Behavior-based Robot Missions, Damian M. Lyons, Ronald Arkin, Shu Jiang, Tsung-Ming Liu, Paramesh Nirmal, and J. Deeb
Verifying Performance for Autonomous Robot Missions with Uncertainty, Damian M. Lyons, Ronald Arkin, Tsung-Ming Liu, Shu Jiang, and Paramesh Nirmal
Fusion of Ranging Data From Robot Teams Operating in Confined Areas, Damian M. Lyons, Karma Shrestha, and Tsung-Ming Liu
Visual homing with a pan-tilt based stereo camera, Paramesh Nirmal and Damian M. Lyons
Submissions from 2012
Getting it Right the First Time: Predicted Performance Guarantees from the Analysis of Emergent Behavior in Autonomous and Semi-autonomous Systems, Ronald C. Arkin, Damian M. Lyons, Shu Jiang, Prem Nirmal, and Munzir Zafar
Using a Virtual World for Robot Planning, D. Paul Benjamin, John V. Monaco, Yixia Lin, Christopher Funk, and Damian M. Lyons
Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments, Damian M. Lyons, Ronald Arkin, Stephen Fox, Shu Jiang, Prem Nirmal, and Munzir Zafar
Designing Autonomous Robot Missions with Performance Guarantees, Damian M. Lyons, Ronald Arkin, Prem Nirmal, and Shu Jiang
An Approach to Stereo-point Cloud Registration Using Image Homographies, Damian M. Lyons and Stephen D. Fox
Navigation of Uncertain Terrain by Fusion of Information from Real and Synthetic Imagery, Damian M. Lyons, Prem Nirmal, and D. Paul Benjamin
Submissions from 2011
A Relaxed Fusion of Information from Real and Synthetic Images to Predict Complex Behavior, Damian M. Lyons and D. Paul Benjamin
Submissions from 2010
Detection and Filtering of Landmark Occlusions using Terrain Spatiograms, Damian M. Lyons
Selection and Recognition of Landmarks Using Terrain Spatiograms, Damian M. Lyons
Integrating Perception and Problem Solving to Predict Complex Object Behaviors, Damian M. Lyons, Sirhan Chaudhry, Marius Agica, and John Vincent Monaco
A Visual Imagination Approach to Cognitive Robotics, Damian M. Lyons, Sirhan Chaudhry, and D. Paul Benjamin
Synchronizing Real and Predicted Synthetic Video Imagery for Localization of a Robot to a 3D Environment, Damian M. Lyons, Sirhan Chaudhry, and D. Paul Benjamin
Submissions from 2009
Sharing and fusing landmark information in a team of autonomous robots, Damian M. Lyons
Sharing Landmark Information using Mixture of Gaussian Terrain Spatiograms, Damian M. Lyons
Locating and Tracking Objects by Efficient Comparison of Real and Predicted Synthetic Video Imagery, Damian M. Lyons and D. Paul Benjamin
Combining Multiple Scoring Systems for Target Tracking Using Rank-Score Characteristics, Damian M. Lyons and D. Frank Hsu
Submissions from 2008
Comparing Discrimination and CFA for selecting Tracking Features, Damian M. Lyons and D. Frank Hsu
Submissions from 2007
Extended Abstract Rotopod: A Novel Approach To Efficient Legged Locomotion, Damian M. Lyons
Combinatorial Fusion Criteria for Robot Mapping, Damian M. Lyons, D. Frank Hsu, Qiang Ma, and Liang Wang
Selection of fusion operations using rank-score diversity for robot mapping and localization, Damian M. Lyons, D. Frank Hsu, Qiang Ma, and Liang Wang
Evaluation of a Parallel Architecture and Algorithm for Mapping and Localization, Damian M. Lyons and Giselle R. Isner
Submissions from 2006
Combinatorial Fusion Criteria for Real-Time Tracking, D. Frank Hsu, Damian M. Lyons, and Jizhou Ai
Combining Multiple Scoring Systems For Video Target Tracking Based on Rank-Score Function Variation, D. Frank Hsu, Damian M. Lyons, and Jizhou Ai
Feature Selection for Real-Time Tracking, D. Frank Hsu, Damian M. Lyons, and Jizhou Ai
Submissions from 2005
A Dynamic Pruning and Feature Selection Strategy for Real-Time Tracking, D. Frank Hsu and Damian M. Lyons
Rank-Based Multisensory Fusion in Multitarget Video Tracking, Damian M. Lyons and D. Frank Hsu
Analysis of gaits for a rotating tripedal robot, Damian M. Lyons and Kiran Pamnany
Rotational Legged Locomotion, Damian M. Lyons and Kiran Pamnany
