76 citations · 116 across the 44 of their papers we have counts for
3 papers · 1 filter
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems
Yiannis Kantaros, Michael M. Zavlanos
This paper proposes a new highly scalable and asymptotically optimal control synthesis algorithm from linear temporal logic specifications, called for large-Sca…
Distributed State Estimation Using Intermittently Connected Robot Networks
Reza Khodayi-mehr, Yiannis Kantaros, Michael M. Zavlanos
This paper considers the problem of distributed state estimation using multi-robot systems. The robots have limited communication capabilities and, therefore, communicate their mea…
Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks
Yiannis Kantaros, Benjamin Johnson, Sagar Chowdhury +2
In this paper, we present a control framework that allows magnetic microrobot teams to accomplish complex micromanipulation tasks captured by global Linear Temporal Logic (LTL) for…