Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets | Publicación