Title: Automated parallelization of discrete state-space generation
Subjects: Mapping, Markov chains, Monte Carlo method, Random walk