Verifying the Evolution of Probability Distributions Governed by a DTMC | IEEE Journals & Magazine | IEEE Xplore