Browsing by Author Leino, KRM

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2016Reward-Bounded Reachability Probability for Uncertain Weighted MDPsHashemi, V; Hermanns, H; Song, L; Jobstmann, B; Leino, KRM