Quick aggregation of Markov chain functionals via stochastic complementation | IEEE Conference Publication | IEEE Xplore