Structured Markov chains solver · Study