Probabilistic Multi-Robot Path Planning with High-Level Specifications using Petri Net Models | Publicación