![STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems - Yiannis Kantaros, Michael M Zavlanos, 2020 STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems - Yiannis Kantaros, Michael M Zavlanos, 2020](https://journals.sagepub.com/cms/10.1177/0278364920913922/asset/images/large/10.1177_0278364920913922-fig4.jpeg)
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems - Yiannis Kantaros, Michael M Zavlanos, 2020
![PDF) Distributed coverage control for concave areas by a heterogeneous Robot–Swarm with visibility sensing constraints PDF) Distributed coverage control for concave areas by a heterogeneous Robot–Swarm with visibility sensing constraints](https://i1.rgstatic.net/publication/271649293_Distributed_coverage_control_for_concave_areas_by_a_heterogeneous_Robot-Swarm_with_visibility_sensing_constraints/links/5ba274bda6fdccd3cb6305f0/largepreview.png)
PDF) Distributed coverage control for concave areas by a heterogeneous Robot–Swarm with visibility sensing constraints
![STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems - Yiannis Kantaros, Michael M Zavlanos, 2020 STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems - Yiannis Kantaros, Michael M Zavlanos, 2020](https://journals.sagepub.com/cms/10.1177/0278364920913922/asset/images/large/10.1177_0278364920913922-fig5.jpeg)
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems - Yiannis Kantaros, Michael M Zavlanos, 2020
![New faculty to join McKelvey School of Engineering in 2021-2022 | McKelvey School of Engineering at Washington University in St. Louis New faculty to join McKelvey School of Engineering in 2021-2022 | McKelvey School of Engineering at Washington University in St. Louis](https://engineering.wustl.edu/news/images/imgix/New-faculty-2021.jpg)
New faculty to join McKelvey School of Engineering in 2021-2022 | McKelvey School of Engineering at Washington University in St. Louis
![STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems - Yiannis Kantaros, Michael M Zavlanos, 2020 STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems - Yiannis Kantaros, Michael M Zavlanos, 2020](https://journals.sagepub.com/cms/10.1177/0278364920913922/asset/images/large/10.1177_0278364920913922-fig7.jpeg)