Perturbation Analysis in Verification of Discrete-Time Markov Chains

RIS ID

113690

Publication Details

Chen, T., Feng, Y. & Rosenblum, D. (2014). Perturbation Analysis in Verification of Discrete-Time Markov Chains. Lecture Notes in Computer Science, 8704 218-233.

Please refer to publisher version or contact your library.

Share

COinS
 

Link to publisher version (DOI)

http://dx.doi.org/10.1007/978-3-662-44584-6_16