Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes.

Di Wu, Xenofon D. Koutsoukos

Browse the full MDAI paper archive.