Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications * *This work was supported by the H2020 ERC Starting Grand BUCOPHSYS, the Swedish Research Council (VR), the Swedish Foundation for Strategic Research (SSF) and the Knut och Alice Wallenberg Foundation.
2017 ◽
Vol 50
(1)
◽
pp. 10766-10771
◽
Keyword(s):
Keyword(s):
2017 ◽
Vol 50
(1)
◽
pp. 9367-9373
◽
Keyword(s):
2017 ◽
Vol 140
(6)
◽
Keyword(s):