Petri net based multi-robot task coordination from temporal logic specifications
2019 ◽
Vol 122
◽
pp. 103289
◽
Keyword(s):
2006 ◽
Vol 13
(5)
◽
pp. 548-551
◽