Physics-based Motion Planning with Temporal Logic Specifications | Publicación