Bounded state space truncation and Censored Markov chains | IEEE Conference Publication | IEEE Xplore