Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals | Publicación