Reward-Bounded Reachability Probability for Uncertain Weighted MDPs

Publisher:
Springer
Publication Type:
Conference Proceeding
Citation:
Verification, Model Checking, and Abstract Interpretation: Lecture Notes in Computer Science, 2016, 9583 pp. 351 - 371
Issue Date:
2016
Full metadata record
Files in This Item:
Filename Description Size
14062017131909-0001.pdfPublished version1.1 MB
Adobe PDF
Please use this identifier to cite or link to this item: