Browsing byAuthorLeino, KRM
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
2016 | Reward-Bounded Reachability Probability for Uncertain Weighted MDPs | Hashemi, V; Hermanns, H; Song, L; Jobstmann, B; Leino, KRM |
2021-01-01 | Robustness Verification of Quantum Classifiers | Guan, J; Fang, W; Ying, M; Silva, A; Leino, KRM |