Browsing byAuthorHermanns, H
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2016 | Reward-Bounded Reachability Probability for Uncertain Weighted MDPs | Hashemi, V; Hermanns, H; Song, L; Jobstmann, B; Leino, KRM |
Issue Date | Title | Author(s) |
---|---|---|
2016 | Reward-Bounded Reachability Probability for Uncertain Weighted MDPs | Hashemi, V; Hermanns, H; Song, L; Jobstmann, B; Leino, KRM |