On Multi-Robot Path Planning based on Petri Net Models and LTL Specifications

Hustiu, Sofia Mahulea, Cristian Kloetzer, Marius Lesage, Jean-Jacques On Multi-Robot Path Planning based on Petri Net Models and LTL Specifications

IEEE trans. automat. contr.

10.1109/TAC.2024.3386024 2024

2024