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

Guoxin Su, David S. Rosenblum

Browse the full ATVA paper archive.