31 citations · 85 across the 19 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
eess.SY2015
Synthesizing least-limiting guidelines for safety of semi-autonomous systems
Jana Tumova, Dimos V. Dimarogonas
We consider the problem of synthesizing safe-by-design control strategies for semi-autonomous systems. Our aim is to address situations when safety cannot be guaranteed solely by t…
eess.SY2015
Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
In this paper the problem of cooperative task planning of multi-agent systems when timed constraints are imposed to the system is investigated. We consider timed constraints given…