Truncating Multi-Dimensional Markov Chains With Accuracy Guarantee | IEEE Conference Publication | IEEE Xplore