Perturbation Analysis in Verification of Discrete-Time Markov Chains.

Taolue Chen, Yuan Feng, David S. Rosenblum, Guoxin Su

Browse the full CONCUR paper archive.