Especificación de Recompensas No Markovianas en MDP Usando LDL en Trazas Finitas (Versión Preliminar)