Probabilistic Programming: {A} True Verification Challenge

TitleProbabilistic Programming: {A} True Verification Challenge
Publication TypeConference Paper
Year of Publication2015
AuthorsKatoen, J-P
EditorFinkbeiner, B, Pu, G, Zhang, L
Conference NameAutomated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-319-24953-7_1
DOI10.1007/978-3-319-24953-7_1
Work Package: 
WP1