Path planning for robotic teams based on LTL specifications and Petri net models | Publicación