Verifying the evolution of probability distributions governed by a DTMC (0)

by YoungMin Kwon, Gul Agha
Venue:In Transactions on Software Engineering (TSE