Path planning for robotic teams based on LTL specifications and Petri net models

2019 ◽  
Vol 30 (1) ◽  
pp. 55-79 ◽  
Author(s):  
Marius Kloetzer ◽  
Cristian Mahulea
2013 ◽  
Vol 24 (4) ◽  
pp. 417-445 ◽  
Author(s):  
Marius Kloetzer ◽  
Cristian Mahulea

2020 ◽  
Vol 53 (2) ◽  
pp. 2063-2068
Author(s):  
Cristian Mahulea ◽  
Eduardo Montijano ◽  
Marius Kloetzer
Keyword(s):  

2000 ◽  
Vol 6 (1) ◽  
pp. 75-87 ◽  
Author(s):  
Dong-Han Kim ◽  
Yong-Jae Kim ◽  
Kwang-Choon Kim ◽  
Jong-Hwan Kim ◽  
Prahlad Vadakkepat

Author(s):  
Edward Reutzel ◽  
Kevin Gombotz ◽  
Richard Martukanitz ◽  
Panagiotis Michaleris

Sign in / Sign up

Export Citation Format

Share Document