Extension of the PAC framework to finite and countable Markov chains | IEEE Journals & Magazine | IEEE Xplore