Damian M. Lyons

95 papers A* 11A 8B 12C 7Journal 32Unranked 25
YearRankTypeTitle / Venue / Authors
2025 J jnl
Enhancing Visual Homing in Robotics: A Study on Blockchain Integration and Consensus Algorithms.
Distributed Ledger Technol. Res. Pract.
Nasim Paykari, Damian M. Lyons, Mohamed Rahouti
2025 J jnl
Improving Classification of Occluded Objects through Scene Context.
CoRR
Courtney M. King, Daniel D. Leeds, Damian M. Lyons, George Kalaitzis
2025 J jnl
Integrating Robotic Navigation with Blockchain: A Novel PoS-Based Approach for Heterogeneous Robotic Teams.
CoRR
Nasim Paykari, Ali Alfatemi, Damian M. Lyons, Mohamed Rahouti
2025 — conf
Witness Byzantine Fault Tolerance with Signature Tree and Proof-of-Navigation for Wide Area Visual Navigation.
ICINCO (2)
Nasim Paykari, Taylor Clark, Ademi Zain, Damian M. Lyons, Mohamed Rahouti
2024 — conf
Improving Multi-Robot Visual Navigation Using Cooperative Consensus.
UR
Damian M. Lyons, Mohamed Rahouti
2024 J jnl
Optimizing Control Strategies for Wheeled Mobile Robots Using Fuzzy Type I and II Controllers and Parallel Distributed Compensation.
CoRR
Nasim Paykari, Razieh Jokar, Ali Alfatemi, Damian M. Lyons, Mohamed Rahouti
2024 — conf
RoboStake: Pioneering Cooperative Navigation with a Novel Blockchain-Powered Proof-of-Stake in Robotic Teams.
COINS
Nasim Paykari, Damian M. Lyons, Mohamed Rahouti
2023 J jnl
A Decentralized Cooperative Navigation Approach for Visual Homing Networks.
CoRR
Mohamed Rahouti, Damian M. Lyons, Senthil Kumar Jagatheesaperumal, Kaiqi Xiong
2023 J jnl
A Decentralized Cooperative Navigation Approach for Visual Homing Networks.
IT Prof.
Mohamed Rahouti, Damian M. Lyons, Senthil Kumar Jagatheesaperumal, Kaiqi Xiong
2023 — conf
An Approach to Cooperative, Wide Area Visual Navigation by Leveraging Blockchain Consensus.
IRC
Damian M. Lyons, Mohamed Rahouti
2023 — conf
Assessing Blockchain Consensus in Robotics: A Visual Homing Approach.
UEMCON
Nasim Paykari, Damian M. Lyons, Mohamed Rahouti
2023 A* conf
WAVN: Wide Area Visual Navigation for Large-scale, GPS-denied Environments.
ICRA
Damian M. Lyons, Mohamed Rahouti
2022 C conf
A Monte Carlo Framework for Incremental Improvement of Simulation Fidelity.
IAS
Damian M. Lyons, James Finocchiaro, Michael Novitzky, Christopher Korpela
2022 J jnl
VRChain: A Blockchain-Enabled Framework for Visual Homing and Navigation Robots.
CoRR
Mohamed Rahouti, Damian M. Lyons, Lesther Santana
2021 C conf
A Meta-level Approach for Multilingual Taint Analysis.
ICSOFT
Damian M. Lyons, Dino Becaj
2021 J jnl
Wall Detection Via IMU Data Classification In Autonomous Quadcopters.
CoRR
Jason Hughes, Damian M. Lyons
2020 J jnl
A Monte Carlo Approach to Closing the Reality Gap.
CoRR
Damian M. Lyons, James Finocchiaro, Michael Novitzky, Christopher Korpela
2020 — conf
Evaluating the Potential of Drone Swarms in Nonverbal HRI Communication.
ICHMS
Kasper Grispino, Damian M. Lyons, Truong-Huy D. Nguyen
2020 J jnl
Evaluating the Potential of Drone Swarms in Nonverbal HRI Communication.
CoRR
Kasper Grispino, Damian M. Lyons, Truong-Huy D. Nguyen
2020 J jnl
Evaluation of Field of View Width in Stereo-vision-Based Visual Homing.
Robotica
Damian M. Lyons, Benjamin Barriage, Luca Del Signore
2020 — conf
Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software.
SP (Workshops)
Damian M. Lyons, Saba B. Zahra
2020 J jnl
Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software.
CoRR
Damian M. Lyons, Saba B. Zahra
2019 B conf
A Comparison of Contextual Bandit Approaches to Human-in-the-Loop Robot Task Completion with Infrequent Feedback.
ICTAI
Matthew McNeill, Damian M. Lyons
2019 — conf
An Approach to Fast Multi-Robot Exploration in Buildings with Inaccessible Spaces.
ROBIO
Matthew McNeill, Damian M. Lyons
2019 J jnl
Dependability in Cyber-Physical Systems and Applications.
ACM Trans. Cyber Phys. Syst.
Md. Zakirul Alam Bhuiyan, Sy-Yen Kuo, Damian M. Lyons, Zili Shao
2019 C conf
Towards Lakosian Multilingual Software Design Principles.
ICSOFT
Damian M. Lyons, Saba B. Zahra, Thomas M. Marshall
2019 J jnl
Towards Lakosian Multilingual Software Design Principles.
CoRR
Damian M. Lyons, Saba B. Zahra, Thomas M. Marshall
2018 J jnl
Constructionist Steps Towards an Autonomously Empathetic System.
CoRR
Trevor Buteau, Damian M. Lyons
2018 — conf
Constructionist steps towards an autonomously empathetic system.
ICMI (adjunct)
Trevor Buteau, Damian M. Lyons
2018 C conf
Lightweight Call-Graph Construction for Multilingual Software Analysis.
ICSOFT
Anne Marie Bogar, Damian M. Lyons, David Baird
2018 J jnl
Lightweight Call-Graph Construction for Multilingual Software Analysis.
CoRR
Anne Marie Bogar, Damian M. Lyons, David Baird
2018 J jnl
Lightweight Multilingual Software Analysis.
CoRR
Damian M. Lyons, Anne Marie Bogar, David Baird
2018 J jnl
Towards Affective Drone Swarms: A Preliminary Crowd-Sourced Study.
CoRR
Truong-Huy D. Nguyen, Kasper Grispino, Damian M. Lyons
2017 B conf
Effect of Field of View in Stereovision-Based Visual Homing.
ICTAI
Damian M. Lyons, Luca Del Signore, Benjamin Barriage
2017 J jnl
Establishing A-Priori Performance Guarantees for Robot Missions that Include Localization Software.
Int. J. Monit. Surveillance Technol. Res.
Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Matthew Joseph O'Brien, Feng Tang, Peng Tang
2017 B conf
Formal performance guarantees for an approach to human in the loop robot missions.
SMC
Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Matthew Joseph O'Brien, F. Tang, P. Tang
2017 C conf
Lightweight Multilingual Software Analysis.
ICSOFT
Damian M. Lyons, Anne Marie Bogar, David Baird
2017 J jnl
Performance verification for robot missions in uncertain environments.
Robotics Auton. Syst.
Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Matthew Joseph O'Brien, Feng Tang, Peng Tang
2016 B conf
Formal Performance Guarantees for Behavior-Based Localization Missions.
ICTAI
Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Matthew Joseph O'Brien, Feng Tang, Peng Tang
2016 J jnl
Homing with stereovision.
Robotica
Paramesh Nirmal, Damian M. Lyons
2016 — conf
Landmark detection with surprise saliency using convolutional neural networks.
MFI
Feng Tang, Damian M. Lyons, Daniel D. Leeds
2015 J jnl
Leveraging area bounds information for autonomous decentralized multi-robot exploration.
Robotics Auton. Syst.
Tsung-Ming Liu, Damian M. Lyons
2015 J jnl
Performance Verification for Behavior-Based Robot Missions.
IEEE Trans. Robotics
Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Tsung-Ming Liu, Paramesh Nirmal
2015 B conf
Probabilistic Verification of Multi-robot Missions in Uncertain Environments.
ICTAI
Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Dagan Harrington, Feng Tang, Peng Tang
2015 — conf
Thorough exploration of complex environments with a space-based potential field.
Intelligent Robots and Computer Vision: Algorithms and Techniques
Alina Kenealy, Nicholas Primiano, Alex Keyes, Damian M. Lyons
2014 — conf
Automatic Verification of Autonomous Robot Missions.
SIMPAR
Matthew Joseph O'Brien, Ronald C. Arkin, Dagan Harrington, Damian M. Lyons, Shu D. Jiang
2014 C conf
Leveraging Area Bounds Information for Autonomous Multirobot Exploration.
IAS
Tsung-Ming Liu, Damian M. Lyons
2014 A conf
Verifying and validating multirobot missions.
IROS
Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Dagan Harrington, T. Liu
2013 — conf
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees.
CSER
Damian M. Lyons, Ronald C. Arkin, P. Nirmal, Shu D. Jiang, Tsung-Ming Liu
2013 A conf
Getting it right the first time: Robot mission guarantees in the presence of uncertainty.
IROS
Damian M. Lyons, Ronald C. Arkin, P. Nirmal, Shu D. Jiang, Tsung-Ming Liu, J. Deeb
2013 — conf
Performance guarantees for C-WMD robot missions.
SSRR
Shu D. Jiang, Ronald C. Arkin, Damian M. Lyons, Tsung-Ming Liu, Dagan Harrington
2013 — conf
Visual homing with a pan-tilt based stereo camera.
Intelligent Robots and Computer Vision: Algorithms and Techniques
Paramesh Nirmal, Damian M. Lyons
2012 — conf
An approach to stereo-point cloud registration using image homographies.
Intelligent Robots and Computer Vision: Algorithms and Techniques
Stephen D. Fox, Damian M. Lyons
2012 — conf
Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments.
PerMIS
Damian M. Lyons, Shu D. Jiang, Ronald C. Arkin, Prem Nirmal, Stephen D. Fox, Munzir Zafar
2012 A conf
Designing autonomous robot missions with performance guarantees.
IROS
Damian M. Lyons, Ronald C. Arkin, P. Nirmal, Shu D. Jiang
2010 A* conf
Detection and filtering of landmark occlusions using Terrain Spatiograms.
ICRA
Damian M. Lyons
2010 A conf
Selection and recognition of landmarks using terrain spatiograms.
IROS
Damian M. Lyons
2009 J jnl
Combining multiple scoring systems for target tracking using rank-score characteristics.
Inf. Fusion
Damian M. Lyons, D. Frank Hsu
2009 A conf
Sharing landmark information using mixture of Gaussian terrain spatiograms.
IROS
Damian M. Lyons
2007 A* conf
A cognitive robotics approach to comprehending human language and behaviors.
HRI
D. Paul Benjamin, Deryle W. Lonsdale, Damian M. Lyons
2007 B conf
Combinatorial Fusion Criteria for Robot Mapping.
AINA
Damian M. Lyons, D. Frank Hsu, Qiang Ma, Liang Wang
2007 — conf
Evaluation of a Parallel Architecture and Algorithm for Mapping and Localization.
CIRA
Damian M. Lyons, Giselle R. Isner
2006 — conf
Combinatorial Fusion Criteria for Real-Time Tracking.
AINA (1)
D. Frank Hsu, Damian M. Lyons, Jizhou Ai
2006 C conf
Selecting and Evaluating Combinatorial Fusion Criteria to Improve Multitarget Tracking.
FUSION
D. Frank Hsu, Damian M. Lyons, Jizhou Ai
2005 B conf
A Dynamic Pruning and Feature Selection Strategy for Real-Time Tracking.
AINA
D. Frank Hsu, Damian M. Lyons
2005 B conf
Rank-based multisensory fusion in multitarget video tracking.
AVSS
Damian M. Lyons, D. Frank Hsu
2004 — conf
ADAPT: A Cognitive Architecture for Robotics.
ICCM
D. Paul Benjamin, Damian M. Lyons, Deryle W. Lonsdale
2004 — conf
Designing a Robot Cognitive Architecture with Concurrency and Active Perception.
AAAI Technical Report (5)
D. Paul Benjamin, Deryle Lonsdale, Damian M. Lyons
2004 A conf
Integrating Perception, Language and Problem Solving in a Cognitive Agent for a Mobile Robot.
AAMAS
D. Paul Benjamin, Deryle W. Lonsdale, Damian M. Lyons
2004 A* conf
Towards Performance Guarantees for Emergent Behavior.
ICRA
Damian M. Lyons, Ronald C. Arkin
2003 B conf
Discrete Event Modeling of Misrecognition in PTZ Tracking.
AVSS
Damian M. Lyons
2003 B conf
Experimental Results from Using a Rank and Fuse Approach for Multi-Target Tracking in CCTV Surveillance.
AVSS
Damian M. Lyons, D. Frank Hsu, C. Usandivaras, F. Montero
2001 A* conf
A Background Model Initialization Algorithm for Video Surveillance.
ICCV
Daniel Gutchess, Miroslav Trajkovic, Eric Cohen-Solal, Damian M. Lyons, Anil K. Jain
1999 — conf
A Line-Scan Computer Vision Algorithm for Identifying Human Body Features.
Gesture Workshop
Damian M. Lyons, Daniel L. Pelletier
1997 — conf
Combining direct and model-based perceptual information through schema theory.
CIRA
Thomas G. Murphy, Damian M. Lyons
1996 J jnl
Special Issue on Assembly and Task Planning for Manufacturing.
IEEE Trans. Robotics Autom.
Sukhan Lee, Damian M. Lyons, Carlos Ramos, Jocelyne Troccaz
1995 J jnl
David Chapman, Vision, Instruction, and Action.
Artif. Intell.
Damian M. Lyons
1995 J jnl
Exploiting Patterns of Interaction to Achieve Reactive Behavior.
Artif. Intell.
Damian M. Lyons, Antonius J. Hendriks
1995 J jnl
Planning as incremental adaptation of a reactive system.
Robotics Auton. Syst.
Damian M. Lyons, Antonius J. Hendriks
1994 J jnl
Assembly and task planning: a taxonomy.
IEEE Robotics Autom. Mag.
Susan N. Gottschlich, Carlos Ramos, Damian M. Lyons
1994 A* conf
Planning by Adaptation: Experimental Results.
ICRA
Damian M. Lyons, Antonius J. Hendriks
1994 — conf
Testing Incremental Adaptation.
AIPS
Damian M. Lyons, Antonius J. Hendriks
1994 — conf
Using Perceptions to Plan Incremental Adaptations.
IROS (Selected Papers)
Antonius J. Hendriks, Damian M. Lyons
1994 A conf
Using perception to plan incremental adaptations.
IROS
Antonius J. Hendriks, Damian M. Lyons
1993 J jnl
A Methodology for Creating and Adapting Reactive Systems.
Int. J. Artif. Intell. Tools
Antonius J. Hendriks, Damian M. Lyons
1993 J jnl
Representing and analyzing action plans as networks of concurrent processes.
IEEE Trans. Robotics Autom.
Damian M. Lyons
1993 A conf
Stable grasping with a multi-fingered robot hand: a behavior-based approach.
IROS
Thomas G. Murphy, Damian M. Lyons, Antonius J. Hendriks
1992 A* conf
Planning for reactive robot behavior.
ICRA
Damian M. Lyons, Antonius J. Hendriks
1991 B conf
A methodology for creating and adapting reactive systems.
ICTAI
Antonius J. Hendriks, Damian M. Lyons
1991 A* conf
Achieving robustness by casting planning as adaptation of a reactive system.
ICRA
Damian M. Lyons, Antonius J. Hendriks, Sandeep Mehta
1990 A* conf
A process-based approach to task plan representation.
ICRA
Damian M. Lyons
1990 B conf
Representation and Execution Support for Reliable Robot Applications.
SRDS
Prabha Gopinath, Damian M. Lyons, Sandeep Mehta
1989 J jnl
A formal model of computation for sensory-based robotics.
IEEE Trans. Robotics Autom.
Damian M. Lyons, Michael A. Arbib
1986 A* conf
Tagged potential fields: An approach to specification of complex manipulator configurations.
ICRA
Damian M. Lyons
1985 A* conf
A simple set of grasps for a dextrous hand.
ICRA
Damian M. Lyons