Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

M. Hasanbeig , Y. Kantaros , A. Abate , D. Kroening
2019 IEEE 58th Conference on Decision and Control (CDC) 5338 -5343

92
2019
Connectivity-aware coordination of robotic networks for area coverage optimization

Y. Stergiopoulos , Y. Kantaros , A. Tzes
international conference on industrial technology 31 -35

7
2012
Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks

Yiannis Kantaros , Michael M. Zavlanos , David J. Cappelleri , Sagar Chowdhury
arXiv: Robotics

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

Yiannis Kantaros , Nikolay Atanasov , George J. Pappas , Brent Schlotfeldt
robotics science and systems 15

13
2019
Distributed State Estimation Using Intermittently Connected Robot Networks

Reza Khodayi-mehr , Yiannis Kantaros , Michael M Zavlanos ,
IEEE Transactions on Robotics 35 ( 3) 709 -724

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

Yiannis Kantaros , M. Ani Hsieh , Tahiya Salam , Hannes Rovina
intelligent robots and systems 4798 -4805

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

Yiannis Kantaros , Michael M. Zavlanos , Xusheng Luo
IEEE Transactions on Robotics 1 -21

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

Yiannis Kantaros , James Weimer , Insup Lee , Taylor Carpenter
international conference on cyber-physical systems 67 -76

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

Yiannis Kantaros , Michalis Thanou , Anthony Tzes
international conference on robotics and automation 1126 -1131

29
2014
Global Planning for Multi-Robot Communication Networks in Complex Environments

Yiannis Kantaros , Michael M. Zavlanos
IEEE Transactions on Robotics 32 ( 5) 1045 -1061

39
2016
Reduced variance deep reinforcement learning with temporal logic specifications

Qitong Gao , Davood Hajinezhad , Yan Zhang , Yiannis Kantaros
international conference on cyber-physical systems 237 -248

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

Yiannis Kantaros , Michael M. Zavlanos
international conference on cyber physical systems 3 -13

19
2017
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems:

Yiannis Kantaros , Michael M Zavlanos
The International Journal of Robotics Research 39 ( 7) 812 -836

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

Yiannis Kantaros , Michael M. Zavlanos
conference on decision and control 1794 -1799

11
2016
Communication-aware coverage control for robotic sensor networks

Yiannis Kantaros , Michael M. Zavlanos
53rd IEEE Conference on Decision and Control 6863 -6868

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

Yiannis Kantaros , Michalis Thanou , Anthony Tzes
Automatica 53 ( 53) 195 -207

120
2015
Distributed communication-aware coverage control by mobile sensor networks

Yiannis Kantaros , Michael M. Zavlanos
Automatica 63 ( 63) 209 -220

96
2016
Temporal Logic Optimal Control for Large-Scale Multi-Robot Systems: 10400 States and Beyond

Yiannis Kantaros , Michael M. Zavlanos
2018 IEEE Conference on Decision and Control (CDC) 2519 -2524

14
2018
Active Acoustic Impedance Mapping Using Mobile Robots

Yihui Feng , Reza Khodayi-mehr , Yiannis Kantaros , Luke Calkins
2018 IEEE Conference on Decision and Control (CDC) 3910 -3915

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

Yiannis Kantaros , George J. Pappas
intelligent robots and systems 4127 -4132

11
2019