Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters

RIS ID

113668

Publication Details

Su, G. & Rosenblum, D. (2014). Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters. 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14)

Please refer to publisher version or contact your library.

Share

COinS