Transforming Probabilistic Programs for Model Checking
Files
Publication date
2020
Authors
Bernstein, Ryan
Vákár, Matthijs I.L.
Wing, Jeannette M.
Editors
Wing, Jeannette M.
Madigan, David
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
cc_by_nc_nd
Abstract
Keywords
Taverne
Citation
Bernstein, R, Vákár, M & Wing, J M 2020, Transforming Probabilistic Programs for Model Checking. in J M Wing & D Madigan (eds), FODS '20: ACM-IMS Foundations of Data Science Conference, Virtual Event, USA, October 19-20, 2020. Association for Computing Machinery, pp. 149-159. https://doi.org/10.1145/3412815.3416896