Yiannis Kantaros

Guocheng He

IEEE Robotics Autom. Lett., January, 2025

2024

Planning and control of multi-robot-object systems under temporal logic tasks and uncertain dynamics.

[BibT_eX]

[DOI]

Christos K. Verginis

Dimos V. Dimarogonas

Robotics Auton. Syst., 2024

Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures.

[BibT_eX]

[DOI]

Beichen Zhou

CoRR, 2024

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration.

[BibT_eX]

[DOI]

CoRR, 2024

Safe Task Planning for Language-Instructed Multi-Robot Systems using Conformal Prediction.

[BibT_eX]

[DOI]

Guocheng He

CoRR, 2024

Spatiotemporal Co-Design Enabling Prioritized Multi-Agent Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

Uncertainty-bounded Active Monitoring of Unknown Dynamic Targets in Road-networks with Minimum Fleet.

[BibT_eX]

[DOI]

Shuaikang Wang

Meng Guo

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications.

[BibT_eX]

[DOI]

CoRR, 2023

Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks.

[BibT_eX]

[DOI]

CoRR, 2023

Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help.

[BibT_eX]

[DOI]

CoRR, 2023

Detection of Adversarial Physical Attacks in Time-Series Image Data.

[BibT_eX]

[DOI]

CoRR, 2023

Neural Lyapunov Control for Discrete-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Targeted Adversarial Attacks against Neural Network Trajectory Predictors.

[BibT_eX]

[DOI]

Kaiyuan Tan

Proceedings of the Learning for Dynamics and Control Conference, 2023

Multi-Robot Mission Planning in Dynamic Semantic Environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Resilient Temporal Logic Planning in the Presence of Robot Failures.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2022

Accelerated Reinforcement Learning for Temporal Logic Control Objectives.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty.

[BibT_eX]

[DOI]

Mariliza Tzes

Vasileios Vasilopoulos

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis.

[BibT_eX]

[DOI]

Xusheng Luo

IEEE Trans. Robotics, 2021

Technical Report: Distributed Sampling-based Planning for Non-Myopic Active Information Gathering.

[BibT_eX]

[DOI]

Mariliza Tzes

CoRR, 2021

Technical Report: Scalable Active Information Acquisition for Multi-Robot Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Sampling-based planning for non-myopic multi-robot information gathering.

[BibT_eX]

[DOI]

Auton. Robots, 2021

Distributed Sampling-based Planning for Non-Myopic Active Information Gathering.

[BibT_eX]

[DOI]

Mariliza Tzes

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments.

[BibT_eX]

[DOI]

Vasileios Vasilopoulos

Daniel E. Koditschek

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Scalable Active Information Acquisition for Multi-Robot Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Real-time detectors for digital and physical adversarial inputs to perception systems.

[BibT_eX]

[DOI]

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Robust Motion Planning in the Presence of Estimation Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2020

STyLuS<sup>*</sup>: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2020

Sensor-Based Temporal Logic Planning in Uncertain Semantic Maps.

[BibT_eX]

[DOI]

Qi Jin

CoRR, 2020

Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps.

[BibT_eX]

[DOI]

Matthew Malencia

CoRR, 2020

Technical Report: Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments.

[BibT_eX]

[DOI]

Vasileios Vasilopoulos

Daniel E. Koditschek

CoRR, 2020

Distributed Locally Non-interfering Connectivity via Linear Temporal Logic.

[BibT_eX]

[DOI]

CoRR, 2020

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Asynchronous Adaptive Sampling and Reduced-Order Modeling of Dynamic Processes by Robot Teams via Intermittently Connected Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019

Distributed State Estimation Using Intermittently Connected Robot Networks.

[BibT_eX]

[DOI]

Reza Khodayi-mehr

IEEE Trans. Robotics, 2019

Sampling-Based Optimal Control Synthesis for Multirobot Systems Under Global Temporal Tasks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks.

[BibT_eX]

[DOI]

Meng Guo

IEEE Trans. Autom. Control., 2019

An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis.

[BibT_eX]

[DOI]

Xusheng Luo

CoRR, 2019

Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XV, 2019

Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Reduced variance deep reinforcement learning with temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.

[BibT_eX]

[DOI]

Mohammadhosein Hasanbeig

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2018

Distributed Intermittent Communication Control of Mobile Robot Networks Under Time-Critical Dynamic Tasks.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Distributed optimal control synthesis for multi-robot systems under global temporal tasks.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Temporal Logic Optimal Control for Large-Scale Multi-Robot Systems: 10<sup>400</sup> States and Beyond.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Active Acoustic Impedance Mapping Using Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Distributed Intermittent Connectivity Control of Mobile Robot Networks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Sampling-Based Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks.

[BibT_eX]

[DOI]

CoRR, 2017

Temporal Task Planning and Intermittent Communication Control of Mobile Robot Networks.

[BibT_eX]

[DOI]

Meng Guo

CoRR, 2017

Sampling-based control synthesis for multi-robot systems under global temporal specifications.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

2016

Global Planning for Multi-Robot Communication Networks in Complex Environments.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2016

Distributed communication-aware coverage control by mobile sensor networks.

[BibT_eX]

[DOI]

Autom., 2016

Simultaneous intermittent communication control and path optimization in networks of mobile robots.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

A distributed LTL-based approach for intermittent communication in mobile robot networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

Distributed coverage control for concave areas by a heterogeneous Robot-Swarm with visibility sensing constraints.

[BibT_eX]

[DOI]

Michalis Thanou

Anthony Tzes

Autom., 2015

Intermittent connectivity control in mobile robot networks.

[BibT_eX]

[DOI]

Proceedings of the 49th Asilomar Conference on Signals, Systems and Computers, 2015

2014

Visibility-oriented coverage control of mobile robotic networks on non-convex regions.

[BibT_eX]

[DOI]

Michalis Thanou

Anthony Tzes

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Distributed simultaneous coverage and communication control by mobile sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Global Conference on Signal and Information Processing, 2014

Communication-aware coverage control for robotic sensor networks.

[BibT_eX]

[DOI]

Yiannis (John) Stergiopoulos

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2012

Distributed Control of Mobile Sensor Networks under RF Connectivity Constraints.

[BibT_eX]

[DOI]