LTL Planning in Dynamic Environments | Publicación