2 citations · 6 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
eess.SY2023★ 1 cited
Continuous-time control synthesis under nested signal temporal logic specifications
Pian Yu, Xiao Tan, Dimos V. Dimarogonas
In this work, we propose a novel approach for the continuous-time control synthesis of nonlinear systems under nested signal temporal logic (STL) specifications. While the majority…
cs.RO2023
Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments
Pian Yu, Gianmarco Fedeli, Dimos V. Dimarogonas
This paper investigates the planning and control problems for multi-robot systems under linear temporal logic (LTL) specifications. In contrast to most of existing literature, whic…