Path planning for robotic teams based on LTL specifications and Petri net models
2019 ◽
Vol 30
(1)
◽
pp. 55-79
◽
2013 ◽
Vol 24
(4)
◽
pp. 417-445
◽
2000 ◽
Vol 6
(1)
◽
pp. 75-87
◽
Keyword(s):
2017 ◽
Vol 26
(102)
◽
pp. 78-87
◽
2011 ◽
Vol 131
(5)
◽
pp. 1059-1067
Keyword(s):
2018 ◽
Vol 11
(4)
◽
pp. 146
2009 ◽
Vol E92-A
(11)
◽
pp. 2717-2722
◽