Universidad de Zaragoza Repository

@article{Hustiu:147640,
      author        = "Hustiu, Sofia and Mahulea, Cristian and Kloetzer, Marius
                       and Lesage, Jean-Jacques",
      title         = "{On Multi-Robot Path Planning based on Petri Net Models
                       and LTL Specifications}",
      year          = "2024",
}