Damian M. Lyons

95 papers A* 11A 8B 12C 7Journal 32Unranked 25

Year	Rank	Type	Title / 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