76 citations · 116 across the 44 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2022★ 1 cited
Planning and Control of Multi-Robot-Object Systems under Temporal Logic Tasks and Uncertain Dynamics
Christos K. Verginis, Yiannis Kantaros, Dimos V. Dimarogonas
We develop an algorithm for the motion and task planning of a system comprised of multiple robots and unactuated objects under tasks expressed as Linear Temporal Logic (LTL) constr…
eess.SY2020★ 1 cited
A Temporal Logic-Based Hierarchical Network Connectivity Controller
Hans Riess, Yiannis Kantaros, George Pappas +1
In this paper, we consider networks of static sensors with integrated sensing and communication capabilities. The goal of the sensors is to propagate their collected information to…