default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYiannis Kantaros
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j15]Christos K. Verginis
, Yiannis Kantaros, Dimos V. Dimarogonas:
Planning and control of multi-robot-object systems under temporal logic tasks and uncertain dynamics. Robotics Auton. Syst. 174: 104646 (2024)- [c32]Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate:
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. AAAI 2024: 21412-21419 - [c31]Shuaikang Wang, Yiannis Kantaros, Meng Guo:
Uncertainty-bounded Active Monitoring of Unknown Dynamic Targets in Road-networks with Minimum Fleet. ICRA 2024: 4584-4590 - [i32]Jun Wang, Guocheng He, Yiannis Kantaros:
Safe Task Planning for Language-Instructed Multi-Robot Systems using Conformal Prediction. CoRR abs/2402.15368 (2024) - 2023
- [c30]Samarth Kalluraya, George J. Pappas, Yiannis Kantaros:
Resilient Temporal Logic Planning in the Presence of Robot Failures. CDC 2023: 7520-7526 - [c29]Samarth Kalluraya, George J. Pappas, Yiannis Kantaros:
Multi-Robot Mission Planning in Dynamic Semantic Environments. ICRA 2023: 1630-1637 - [c28]Kaiyuan Tan, Jun Wang, Yiannis Kantaros:
Targeted Adversarial Attacks against Neural Network Trajectory Predictors. L4DC 2023: 431-444 - [c27]Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik:
Neural Lyapunov Control for Discrete-Time Systems. NeurIPS 2023 - [i31]Ramneet Kaur, Yiannis Kantaros, Wenwen Si, James Weimer, Insup Lee:
Detection of Adversarial Physical Attacks in Time-Series Image Data. CoRR abs/2304.13919 (2023) - [i30]Samarth Kalluraya, George J. Pappas, Yiannis Kantaros:
Resilient Temporal Logic Planning in the Presence of Robot Failures. CoRR abs/2305.05485 (2023) - [i29]Junlin Wu, Andrew Clark, Yiannis Kantaros, Yevgeniy Vorobeychik:
Neural Lyapunov Control for Discrete-Time Systems. CoRR abs/2305.06547 (2023) - [i28]Shuaikang Wang, Yiannis Kantaros, Meng Guo:
Uncertainty-bounded Active Monitoring of Unknown Dynamic Targets in Road-networks with Minimum Fleet. CoRR abs/2309.08322 (2023) - [i27]Jun Wang, Jiaming Tong, Kaiyuan Tan, Yevgeniy Vorobeychik, Yiannis Kantaros:
Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help. CoRR abs/2309.10092 (2023) - [i26]Jun Wang, Haojun Chen, Zihe Sun, Yiannis Kantaros:
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks. CoRR abs/2311.10863 (2023) - [i25]Jun Wang, Hosein Hasanbeig, Kaiyuan Tan, Zihe Sun, Yiannis Kantaros:
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications. CoRR abs/2311.17059 (2023) - [i24]Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate:
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis. CoRR abs/2312.11314 (2023) - 2022
- [j14]Yiannis Kantaros, Samarth Kalluraya, Qi Jin, George J. Pappas:
Perception-Based Temporal Logic Planning in Uncertain Semantic Maps. IEEE Trans. Robotics 38(4): 2536-2556 (2022) - [c26]Jun Wang, Samarth Kalluraya, Yiannis Kantaros:
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. CDC 2022: 4004-4009 - [c25]Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas:
Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty. ICRA 2022: 7320-7326 - [c24]Yiannis Kantaros:
Accelerated Reinforcement Learning for Temporal Logic Control Objectives. IROS 2022: 5077-5082 - [c23]Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo:
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. IROS 2022: 10290-10296 - [i23]Christos K. Verginis, Yiannis Kantaros, Dimos V. Dimarogonas:
Planning and Control of Multi-Robot-Object Systems under Temporal Logic Tasks and Uncertain Dynamics. CoRR abs/2204.11783 (2022) - [i22]Yiannis Kantaros:
Accelerated Reinforcement Learning for Temporal Logic Control Objectives. CoRR abs/2205.04424 (2022) - [i21]Mariliza Tzes, Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas:
Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty. CoRR abs/2205.06301 (2022) - [i20]Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo:
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. CoRR abs/2209.04534 (2022) - [i19]Jun Wang, Samarth Kalluraya, Yiannis Kantaros:
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. CoRR abs/2209.06130 (2022) - [i18]Samarth Kalluraya, George J. Pappas, Yiannis Kantaros:
Multi-robot Mission Planning in Dynamic Semantic Environments. CoRR abs/2209.06323 (2022) - [i17]Kaiyuan Tan, Jun Wang, Yiannis Kantaros:
Targeted Adversarial Attacks against Neural Network Trajectory Predictors. CoRR abs/2212.04138 (2022) - 2021
- [j13]Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas:
Sampling-based planning for non-myopic multi-robot information gathering. Auton. Robots 45(7): 1029-1046 (2021) - [j12]Xusheng Luo, Yiannis Kantaros, Michael M. Zavlanos:
An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis. IEEE Trans. Robotics 37(5): 1487-1507 (2021) - [c22]Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas:
Robust Motion Planning in the Presence of Estimation Uncertainty. CDC 2021: 5205-5212 - [c21]Yiannis Kantaros, Taylor J. Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer:
Real-time detectors for digital and physical adversarial inputs to perception systems. ICCPS 2021: 67-76 - [c20]Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel E. Koditschek:
Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments. ICRA 2021: 6385-6392 - [c19]Yiannis Kantaros, George J. Pappas:
Scalable Active Information Acquisition for Multi-Robot Systems. ICRA 2021: 7987-7993 - [c18]Mariliza Tzes, Yiannis Kantaros, George J. Pappas:
Distributed Sampling-based Planning for Non-Myopic Active Information Gathering. IROS 2021: 5872-5877 - [i16]Yiannis Kantaros, George J. Pappas:
Technical Report: Scalable Active Information Acquisition for Multi-Robot Systems. CoRR abs/2103.09364 (2021) - [i15]Mariliza Tzes, Yiannis Kantaros, George J. Pappas:
Technical Report: Distributed Sampling-based Planning for Non-Myopic Active Information Gathering. CoRR abs/2107.11163 (2021) - [i14]Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas:
Robust Motion Planning in the Presence of Estimation Uncertainty. CoRR abs/2108.11983 (2021) - 2020
- [j11]Yiannis Kantaros, Michael M. Zavlanos:
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems. Int. J. Robotics Res. 39(7) (2020) - [j10]Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo:
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robotics Autom. Mag. 27(2): 102-116 (2020) - [c17]Yiannis Kantaros, Matthew Malencia, Vijay Kumar, George J. Pappas:
Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments. ICRA 2020: 11479-11485 - [c16]Hannes Rovina, Tahiya Salam, Yiannis Kantaros, M. Ani Hsieh:
Asynchronous Adaptive Sampling and Reduced-Order Modeling of Dynamic Processes by Robot Teams via Intermittently Connected Networks. IROS 2020: 4798-4805 - [i13]Yiannis Kantaros, Taylor J. Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer:
VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems. CoRR abs/2002.09792 (2020) - [i12]Hans Riess, Yiannis Kantaros, George J. Pappas, Robert Ghrist:
Distributed Locally Non-interfering Connectivity via Linear Temporal Logic. CoRR abs/2009.00669 (2020) - [i11]Vasileios Vasilopoulos, Yiannis Kantaros, George J. Pappas, Daniel E. Koditschek:
Technical Report: Reactive Planning for Mobile Manipulation Tasks in Unexplored Semantic Environments. CoRR abs/2011.00642 (2020) - [i10]Yiannis Kantaros, Matthew Malencia, George J. Pappas:
Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps. CoRR abs/2012.07912 (2020) - [i9]Yiannis Kantaros, Qi Jin, George J. Pappas:
Sensor-Based Temporal Logic Planning in Uncertain Semantic Maps. CoRR abs/2012.10490 (2020)
2010 – 2019
- 2019
- [j9]Yiannis Kantaros, Michael M. Zavlanos:
Sampling-Based Optimal Control Synthesis for Multirobot Systems Under Global Temporal Tasks. IEEE Trans. Autom. Control. 64(5): 1916-1931 (2019) - [j8]Yiannis Kantaros, Meng Guo, Michael M. Zavlanos:
Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks. IEEE Trans. Autom. Control. 64(10): 4105-4120 (2019) - [j7]Reza Khodayi-mehr, Yiannis Kantaros, Michael M. Zavlanos:
Distributed State Estimation Using Intermittently Connected Robot Networks. IEEE Trans. Robotics 35(3): 709-724 (2019) - [c15]Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee:
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CDC 2019: 5338-5343 - [c14]Qitong Gao, Davood Hajinezhad, Yan Zhang, Yiannis Kantaros, Michael M. Zavlanos:
Reduced variance deep reinforcement learning with temporal logic specifications. ICCPS 2019: 237-248 - [c13]Yiannis Kantaros, George J. Pappas:
Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps. IROS 2019: 4127-4132 - [c12]Yiannis Kantaros, Brent Schlotfeldt, Nikolay Atanasov, George J. Pappas:
Asymptotically Optimal Planning for Non-Myopic Multi-Robot Information Gathering. Robotics: Science and Systems 2019 - [i8]Xusheng Luo, Yiannis Kantaros, Michael M. Zavlanos:
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis. CoRR abs/1909.00526 (2019) - [i7]Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee:
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees. CoRR abs/1909.05304 (2019) - 2018
- [j6]Yiannis Kantaros, Benjamin V. Johnson, Sagar Chowdhury, David J. Cappelleri, Michael M. Zavlanos:
Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks. IEEE Trans. Robotics 34(6): 1472-1489 (2018) - [c11]Yiannis Kantaros, Michael M. Zavlanos:
Temporal Logic Optimal Control for Large-Scale Multi-Robot Systems: 10400 States and Beyond. CDC 2018: 2519-2524 - [c10]Yihui Feng, Reza Khodayi-mehr, Yiannis Kantaros, Luke Calkins, Michael M. Zavlanos:
Active Acoustic Impedance Mapping Using Mobile Robots. CDC 2018: 3910-3915 - [c9]Yiannis Kantaros, Michael M. Zavlanos:
Distributed optimal control synthesis for multi-robot systems under global temporal tasks. ICCPS 2018: 162-173 - [c8]Yiannis Kantaros, Michael M. Zavlanos:
Distributed Intermittent Communication Control of Mobile Robot Networks Under Time-Critical Dynamic Tasks. ICRA 2018: 1-9 - [i6]Yiannis Kantaros, Benjamin V. Johnson, Sagar Chowdhury, David J. Cappelleri, Michael M. Zavlanos:
Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks. CoRR abs/1804.10865 (2018) - [i5]Reza Khodayi-mehr, Yiannis Kantaros, Michael M. Zavlanos:
Distributed State Estimation Using Intermittently Connected Robot Networks. CoRR abs/1805.01574 (2018) - [i4]Yiannis Kantaros, Michael M. Zavlanos:
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems. CoRR abs/1809.08345 (2018) - 2017
- [j5]Yiannis Kantaros, Michael M. Zavlanos:
Distributed Intermittent Connectivity Control of Mobile Robot Networks. IEEE Trans. Autom. Control. 62(7): 3109-3121 (2017) - [c7]Yiannis Kantaros, Michael M. Zavlanos:
Sampling-based control synthesis for multi-robot systems under global temporal specifications. ICCPS 2017: 3-13 - [i3]Yiannis Kantaros, Meng Guo, Michael M. Zavlanos:
Temporal Task Planning and Intermittent Communication Control of Mobile Robot Networks. CoRR abs/1706.00765 (2017) - [i2]Yiannis Kantaros, Michael M. Zavlanos:
Sampling-Based Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks. CoRR abs/1706.04216 (2017) - 2016
- [j4]Yiannis Kantaros, Michael M. Zavlanos:
Distributed communication-aware coverage control by mobile sensor networks. Autom. 63: 209-220 (2016) - [j3]Yiannis Kantaros, Michael M. Zavlanos:
Global Planning for Multi-Robot Communication Networks in Complex Environments. IEEE Trans. Robotics 32(5): 1045-1061 (2016) - [c6]Yiannis Kantaros, Michael M. Zavlanos:
A distributed LTL-based approach for intermittent communication in mobile robot networks. ACC 2016: 5557-5562 - [c5]Yiannis Kantaros, Michael M. Zavlanos:
Simultaneous intermittent communication control and path optimization in networks of mobile robots. CDC 2016: 1794-1799 - [i1]Yiannis Kantaros, Michael M. Zavlanos:
Simultaneous Intermittent Communication Control and Path Optimization in Networks of Mobile Robots. CoRR abs/1609.07038 (2016) - 2015
- [j2]Yiannis Kantaros, Michalis Thanou, Anthony Tzes:
Distributed coverage control for concave areas by a heterogeneous Robot-Swarm with visibility sensing constraints. Autom. 53: 195-207 (2015) - [c4]Yiannis Kantaros, Michael M. Zavlanos:
Intermittent connectivity control in mobile robot networks. ACSSC 2015: 1125-1129 - 2014
- [c3]Yiannis Kantaros, Michael M. Zavlanos:
Communication-aware coverage control for robotic sensor networks. CDC 2014: 6863-6868 - [c2]Yiannis Kantaros, Michael M. Zavlanos:
Distributed simultaneous coverage and communication control by mobile sensor networks. GlobalSIP 2014: 833-837 - [c1]Yiannis Kantaros, Michalis Thanou, Anthony Tzes:
Visibility-oriented coverage control of mobile robotic networks on non-convex regions. ICRA 2014: 1126-1131 - 2012
- [j1]Yiannis (John) Stergiopoulos, Yiannis Kantaros, Anthony Tzes:
Distributed Control of Mobile Sensor Networks under RF Connectivity Constraints. Int. J. Distributed Sens. Networks 8 (2012)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
