Text this: Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial