Yiannis Kantaros

1. Reinforcement Learning for Temporal Logic Control Synthesis with\n Probabilistic Satisfaction Guarantees
   2019/09/11 by Mohammadhosein Hasanbeig, Yiannis Kantaros, Hasanbeig, Mohammadhosein +9 · 8 citations
   Computer Science · #Formal Methods in Verification #Advanced Software Engineering Methodologies
2. STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems
   2018/09/21 by Yiannis Kantaros, Michael M. Zavlanos, Kantaros, Yiannis +1 · 7 citations
   Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Model-Driven Software Engineering Techniques
3. An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis
   2019/09/02 by Xusheng Luo, Yiannis Kantaros, Luo, Xusheng +3 · 3 citations
   Computer Science · #Formal Methods in Verification #Robotic Path Planning Algorithms #AI-based Problem Solving and Planning
4. Conformal Temporal Logic Planning using Large Language Models
   2023/09/18 by Jun Wang, Jiaming Tong, Wang, Jun +7 · 6 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Natural Language Processing Techniques #Robotics (cs.RO)
5. Multi-robot Mission Planning in Dynamic Semantic Environments
   2022/09/13 by Samarth Kalluraya, Kalluraya, Samarth, George J. Pappas +3 · 3 citations
   Computer Science · #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
6. Perception-Based Temporal Logic Planning in Uncertain Semantic Maps
   2020/12/18 by Yiannis Kantaros, Samarth Kalluraya, Kantaros, Yiannis +5 · 2 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Constraint Satisfaction and Optimization #Semantic Web and Ontologies
7. ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
   2025/04/22 by David Smith Sundarsingh, Wang, Jun, Jun Wang +5 · 4 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Natural Language Processing Techniques #Robotics (cs.RO) #Topic Modeling
8. Uncertainty-bounded Active Monitoring of Unknown Dynamic Targets in Road-networks with Minimum Fleet
   2023/09/15 by Shuaikang Wang, Yiannis Kantaros, Wang, Shuaikang +3 · 2 citations
   Engineering · Environmental Science · #Advanced Control Systems Optimization #FOS: Computer and information sciences #Fault Detection and Control Systems #Robotics (cs.RO) #Toxic Organic Pollutants Impact
9. Reactive Informative Planning for Mobile Manipulation Tasks under Sensing and Environmental Uncertainty
   2022/05/12 by Mariliza Tzes, Vasileios Vasilopoulos, Tzes, Mariliza +5 · 1 citation
   Computer Science · Engineering · #FOS: Computer and information sciences #Modular Robots and Swarm Intelligence #Robot Manipulation and Learning #Robotic Path Planning Algorithms #Robotics (cs.RO)
10. Conformal Constraint Tightening for Chance-Constrained Motion Planning with Unknown Dynamics
    2026/07/24 by Shubham Natraj, Bruno Sinopoli, Yiannis Kantaros
    #cs.RO #cs.SY #eess.SY