En este trabajo se aborda el desafío de la comunicación espacial e interplanetaria a través del uso de redes tolerantes a demoras (DTNs) con un enfoque basado en procesos de decisión de Markov (MDPs). Se emplea la verificación ...