TY  - RPRT
TI  - On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications
AU  - Sofia Hustiu
AU  - Cristian Mahulea
AU  - Marius Kloetzer
AU  - Jean-Jacques Lesage
PY  - 2022
UR  - https://arxiv.org/abs/2211.04230
ID  - 2211.04230
ER  -