On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications

Open in new window