Yiannis Kantaros

101 papers A* 11A 6C 1Misc 1Journal 64Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Conformal Reachability for Safe Control in Unknown Environments. CoRR Xinhang Ma, Junlin Wu, Yiannis Kantaros, Yevgeniy Vorobeychik
2026	A*	`conf`	Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees. AAAI Xinhang Ma, Junlin Wu, Hussein Sibai, Yiannis Kantaros, Yevgeniy Vorobeychik
2026	J	`jnl`	Making Infeasible Tasks Feasible: Planning to Reconfigure Disconnected 3D Environments with Movable Objects. CoRR Samarth Kalluraya, Yiannis Kantaros
2026	J	`jnl`	Safe Planning in Unknown Environments Using Conformalized Semantic Maps. IEEE Robotics Autom. Lett. David Smith Sundarsingh, Yifei Li, Tianji Tang, George J. Pappas, Nikolay Atanasov, Yiannis Kantaros
2025	J	`jnl`	CoFineLLM: Conformal Finetuning of LLMs for Language-Instructed Robot Planning. CoRR Jun Wang, Yevgeniy Vorobeychik, Yiannis Kantaros
2025	J	`jnl`	ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees. CoRR Jun Wang, David Smith Sundarsingh, Jyotirmoy V. Deshmukh, Yiannis Kantaros
2025	J	`jnl`	Conformalized Non-uniform Sampling Strategies for Accelerated Sampling-based Motion Planning. CoRR Shubham Natraj, Bruno Sinopoli, Yiannis Kantaros
2025	J	`jnl`	Deadlock-Free Hybrid RL-MAPF Framework for Zero-Shot Multi-Robot Navigation. CoRR Haoyi Wang, Licheng Luo, Yiannis Kantaros, Bruno Sinopoli, Mingyu Cai
2025	J	`jnl`	HyperController: A Hyperparameter Controller for Fast and Stable Training of Reinforcement Learning Neural Networks. CoRR Jonathan Gornet, Yiannis Kantaros, Bruno Sinopoli
2025	J	`jnl`	Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees. CoRR Xinhang Ma, Junlin Wu, Hussein Sibai, Yiannis Kantaros, Yevgeniy Vorobeychik
2025	—	`conf`	Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications. L4DC Jun Wang, Hosein Hasanbeig, Kaiyuan Tan, Zihe Sun, Yiannis Kantaros
2025	J	`jnl`	NAMO-LLM: Efficient Navigation Among Movable Obstacles With Large Language Model Guidance. IEEE Robotics Autom. Lett. Yuqing Zhang, Yiannis Kantaros
2025	J	`jnl`	NAMO-LLM: Efficient Navigation Among Movable Obstacles with Large Language Model Guidance. CoRR Yuqing Zhang, Yiannis Kantaros
2025	J	`jnl`	Probabilistically Correct Language-Based Multi-Robot Planning Using Conformal Prediction. IEEE Robotics Autom. Lett. Jun Wang, Guocheng He, Yiannis Kantaros
2025	J	`jnl`	Safe Planning in Unknown Environments using Conformalized Semantic Maps. CoRR David Smith Sundarsingh, Yifei Li, Tianji Tang, George J. Pappas, Nikolay Atanasov, Yiannis Kantaros
2025	—	`conf`	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. ICCPS Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee
2025	J	`jnl`	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios. CoRR Vivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee
2025	J	`jnl`	Sample-Efficient Reinforcement Learning With Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration. IEEE Trans. Autom. Control. Yiannis Kantaros, Jun Wang
2024	J	`jnl`	Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures. CoRR Samarth Kalluraya, Beichen Zhou, Yiannis Kantaros
2024	J	`jnl`	Planning and control of multi-robot-object systems under temporal logic tasks and uncertain dynamics. Robotics Auton. Syst. Christos K. Verginis, Yiannis Kantaros, Dimos V. Dimarogonas
2024	—	`conf`	Reactive Planning for Teams of Heterogeneous Robots with Dynamic Collaborative Temporal Logic Missions. CDC Yuqing Zhang, Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
2024	J	`jnl`	Safe Task Planning for Language-Instructed Multi-Robot Systems using Conformal Prediction. CoRR Jun Wang, Guocheng He, Yiannis Kantaros
2024	A*	`conf`	Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. AAAI Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
2024	J	`jnl`	Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration. CoRR Yiannis Kantaros, Jun Wang
2024	A	`conf`	Spatiotemporal Co-Design Enabling Prioritized Multi-Agent Motion Planning. IROS Yunshen Huang, Wenbo He, Yiannis Kantaros, Shen Zeng
2024	A*	`conf`	Uncertainty-bounded Active Monitoring of Unknown Dynamic Targets in Road-networks with Minimum Fleet. ICRA Shuaikang Wang, Yiannis Kantaros, Meng Guo
2023	J	`jnl`	Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help. CoRR Jun Wang, Jiaming Tong, Kaiyuan Tan, Yevgeniy Vorobeychik, Yiannis Kantaros
2023	J	`jnl`	Detection of Adversarial Physical Attacks in Time-Series Image Data. CoRR Ramneet Kaur, Yiannis Kantaros, Wenwen Si, James Weimer, Insup Lee
2023	J	`jnl`	Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications. CoRR Jun Wang, Hosein Hasanbeig, Kaiyuan Tan, Zihe Sun, Yiannis Kantaros
2023	A*	`conf`	Multi-Robot Mission Planning in Dynamic Semantic Environments. ICRA Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
2023	A*	`conf`	Neural Lyapunov Control for Discrete-Time Systems. NeurIPS Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik
2023	J	`jnl`	Neural Lyapunov Control for Discrete-Time Systems. CoRR Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik
2023	—	`conf`	Resilient Temporal Logic Planning in the Presence of Robot Failures. CDC Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
2023	J	`jnl`	Resilient Temporal Logic Planning in the Presence of Robot Failures. CoRR Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
2023	J	`jnl`	Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. CoRR Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate
2023	—	`conf`	Targeted Adversarial Attacks against Neural Network Trajectory Predictors. L4DC Kaiyuan Tan, Jun Wang, Yiannis Kantaros
2023	J	`jnl`	Uncertainty-bounded Active Monitoring of Unknown Dynamic Targets in Road-networks with Minimum Fleet. CoRR Shuaikang Wang, Yiannis Kantaros, Meng Guo
2023	J	`jnl`	Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks. CoRR Jun Wang, Haojun Chen, Zihe Sun, Yiannis Kantaros
2022	A	`conf`	Accelerated Reinforcement Learning for Temporal Logic Control Objectives. IROS Yiannis Kantaros
2022	J	`jnl`	Accelerated Reinforcement Learning for Temporal Logic Control Objectives. CoRR Yiannis Kantaros
2022	A	`conf`	Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. IROS Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo
2022	J	`jnl`	Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. CoRR Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo
2022	J	`jnl`	Multi-robot Mission Planning in Dynamic Semantic Environments. CoRR Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
2022	J	`jnl`	Perception-Based Temporal Logic Planning in Uncertain Semantic Maps. IEEE Trans. Robotics Yiannis Kantaros, Samarth Kalluraya, Qi Jin, George J. Pappas
2022	J	`jnl`	Planning and Control of Multi-Robot-Object Systems under Temporal Logic Tasks and Uncertain Dynamics. CoRR Christos K. Verginis, Yiannis Kantaros, Dimos V. Dimarogonas
2022	A*	`conf`	Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty. ICRA Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas
2022	J	`jnl`	Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty. CoRR Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas
2022	J	`jnl`	Targeted Adversarial Attacks against Neural Network Trajectory Predictors. CoRR Kaiyuan Tan, Jun Wang, Yiannis Kantaros
2022	—	`conf`	Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. CDC Jun Wang, Samarth Kalluraya, Yiannis Kantaros
2022	J	`jnl`	Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. CoRR Jun Wang, Samarth Kalluraya, Yiannis Kantaros
2021	J	`jnl`	An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis. IEEE Trans. Robotics Xusheng Luo, Yiannis Kantaros, Michael M. Zavlanos
2021	A	`conf`	Distributed Sampling-based Planning for Non-Myopic Active Information Gathering. IROS Mariliza Tzes, Yiannis Kantaros, George J. Pappas
2021	A*	`conf`	Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments. ICRA Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel E. Koditschek
2021	—	`conf`	Real-time detectors for digital and physical adversarial inputs to perception systems. ICCPS Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer
2021	—	`conf`	Robust Motion Planning in the Presence of Estimation Uncertainty. CDC Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
2021	J	`jnl`	Robust Motion Planning in the Presence of Estimation Uncertainty. CoRR Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
2021	J	`jnl`	Sampling-based planning for non-myopic multi-robot information gathering. Auton. Robots Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas
2021	A*	`conf`	Scalable Active Information Acquisition for Multi-Robot Systems. ICRA Yiannis Kantaros, George J. Pappas
2021	J	`jnl`	Technical Report: Distributed Sampling-based Planning for Non-Myopic Active Information Gathering. CoRR Mariliza Tzes, Yiannis Kantaros, George J. Pappas
2021	J	`jnl`	Technical Report: Scalable Active Information Acquisition for Multi-Robot Systems. CoRR Yiannis Kantaros, George J. Pappas
2020	J	`jnl`	Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robotics Autom. Mag. Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo
2020	A	`conf`	Asynchronous Adaptive Sampling and Reduced-Order Modeling of Dynamic Processes by Robot Teams via Intermittently Connected Networks. IROS Hannes Rovina, Tahiya Salam, Yiannis Kantaros, M. Ani Hsieh
2020	J	`jnl`	Distributed Locally Non-interfering Connectivity via Linear Temporal Logic. CoRR Hans Riess, Yiannis Kantaros, George J. Pappas, Robert Ghrist
2020	A*	`conf`	Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments. ICRA Yiannis Kantaros, Matthew Malencia, Vijay Kumar, George J. Pappas
2020	J	`jnl`	Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps. CoRR Yiannis Kantaros, Matthew Malencia, George J. Pappas
2020	J	`jnl`	STyLuS Int. J. Robotics Res. Yiannis Kantaros, Michael M. Zavlanos
2020	J	`jnl`	Sensor-Based Temporal Logic Planning in Uncertain Semantic Maps. CoRR Yiannis Kantaros, Qi Jin, George J. Pappas
2020	J	`jnl`	Technical Report: Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments. CoRR Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel E. Koditschek
2020	J	`jnl`	VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. CoRR Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer
2019	J	`jnl`	An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis. CoRR Xusheng Luo, Yiannis Kantaros, Michael M. Zavlanos
2019	—	`conf`	Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering. Robotics: Science and Systems Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas
2019	J	`jnl`	Distributed State Estimation Using Intermittently Connected Robot Networks. IEEE Trans. Robotics Reza Khodayi-mehr, Yiannis Kantaros, Michael M. Zavlanos
2019	A	`conf`	Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps. IROS Yiannis Kantaros, George J. Pappas
2019	—	`conf`	Reduced variance deep reinforcement learning with temporal logic specifications. ICCPS Qitong Gao, Davood Hajinezhad, Yan Zhang, Yiannis Kantaros, Michael M. Zavlanos
2019	—	`conf`	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CDC Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
2019	J	`jnl`	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CoRR Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee
2019	J	`jnl`	Sampling-Based Optimal Control Synthesis for Multirobot Systems Under Global Temporal Tasks. IEEE Trans. Autom. Control. Yiannis Kantaros, Michael M. Zavlanos
2019	J	`jnl`	Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks. IEEE Trans. Autom. Control. Yiannis Kantaros, Meng Guo, Michael M. Zavlanos
2018	—	`conf`	Active Acoustic Impedance Mapping Using Mobile Robots. CDC Yihui Feng, Reza Khodayi-mehr, Yiannis Kantaros, Luke Calkins, Michael M. Zavlanos
2018	J	`jnl`	Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks. CoRR Yiannis Kantaros, Benjamin V. Johnson, Sagar Chowdhury, David J. Cappelleri, Michael M. Zavlanos
2018	J	`jnl`	Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks. IEEE Trans. Robotics Yiannis Kantaros, Benjamin V. Johnson, Sagar Chowdhury, David J. Cappelleri, Michael M. Zavlanos
2018	A*	`conf`	Distributed Intermittent Communication Control of Mobile Robot Networks Under Time-Critical Dynamic Tasks. ICRA Yiannis Kantaros, Michael M. Zavlanos
2018	J	`jnl`	Distributed State Estimation Using Intermittently Connected Robot Networks. CoRR Reza Khodayi-mehr, Yiannis Kantaros, Michael M. Zavlanos
2018	—	`conf`	Distributed optimal control synthesis for multi-robot systems under global temporal tasks. ICCPS Yiannis Kantaros, Michael M. Zavlanos
2018	J	`jnl`	STyLuS CoRR Yiannis Kantaros, Michael M. Zavlanos
2018	—	`conf`	Temporal Logic Optimal Control for Large-Scale Multi-Robot Systems: 10 CDC Yiannis Kantaros, Michael M. Zavlanos
2017	J	`jnl`	Distributed Intermittent Connectivity Control of Mobile Robot Networks. IEEE Trans. Autom. Control. Yiannis Kantaros, Michael M. Zavlanos
2017	J	`jnl`	Sampling-Based Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks. CoRR Yiannis Kantaros, Michael M. Zavlanos
2017	—	`conf`	Sampling-based control synthesis for multi-robot systems under global temporal specifications. ICCPS Yiannis Kantaros, Michael M. Zavlanos
2017	J	`jnl`	Temporal Task Planning and Intermittent Communication Control of Mobile Robot Networks. CoRR Yiannis Kantaros, Meng Guo, Michael M. Zavlanos
2016	C	`conf`	A distributed LTL-based approach for intermittent communication in mobile robot networks. ACC Yiannis Kantaros, Michael M. Zavlanos
2016	J	`jnl`	Distributed communication-aware coverage control by mobile sensor networks. Autom. Yiannis Kantaros, Michael M. Zavlanos
2016	J	`jnl`	Global Planning for Multi-Robot Communication Networks in Complex Environments. IEEE Trans. Robotics Yiannis Kantaros, Michael M. Zavlanos
2016	J	`jnl`	Simultaneous Intermittent Communication Control and Path Optimization in Networks of Mobile Robots. CoRR Yiannis Kantaros, Michael M. Zavlanos
2016	—	`conf`	Simultaneous intermittent communication control and path optimization in networks of mobile robots. CDC Yiannis Kantaros, Michael M. Zavlanos
2015	J	`jnl`	Distributed coverage control for concave areas by a heterogeneous Robot-Swarm with visibility sensing constraints. Autom. Yiannis Kantaros, Michalis Thanou, Anthony Tzes
2015	Misc	`conf`	Intermittent connectivity control in mobile robot networks. ACSSC Yiannis Kantaros, Michael M. Zavlanos
2014	—	`conf`	Communication-aware coverage control for robotic sensor networks. CDC Yiannis Kantaros, Michael M. Zavlanos
2014	—	`conf`	Distributed simultaneous coverage and communication control by mobile sensor networks. GlobalSIP Yiannis Kantaros, Michael M. Zavlanos
2014	A*	`conf`	Visibility-oriented coverage control of mobile robotic networks on non-convex regions. ICRA Yiannis Kantaros, Michalis Thanou, Anthony Tzes
2012	J	`jnl`	Distributed Control of Mobile Sensor Networks under RF Connectivity Constraints. Int. J. Distributed Sens. Networks Yiannis (John) Stergiopoulos, Yiannis Kantaros, Anthony Tzes