Title

Interval approximations for nested reachability properties of perturbable Markov chains

RIS ID

113668

Publication Details

Su, G. & Rosenblum, D. (2014). Interval approximations for nested reachability properties of perturbable Markov chains. 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14)

Please refer to publisher version or contact your library.

Share

COinS