Su, G. & Rosenblum, D. (2014). Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters. Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014 (pp. 364-379). Cham: Springer.
Su, G. & Rosenblum, D. (2014). Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters. Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014 (pp. 364-379). Cham: Springer.