mGPT: Un Planificador Probabilístico Basado en la Búsqueda Heurística