A probabilistic dynamic technique for the distributed generation of very large state spaces