10 citations · 11 across the 15 of their papers we have counts for
1 paper · 1 filter
Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas
We consider the synthesis problem of a multi-agent system under signal temporal logic (STL) specifications representing bounded-time tasks that need to be satisfied recurrently ove…