Log In

Transforming Probabilistic Programs for Model Checking

Files

3412815.3416896.pdf (1.23 MB)

Publication date

2020

Authors

Bernstein, Ryan
Vákár, MatthijsORCID 0000-0003-4603-0523ISNI 0000000464978681
Wing, Jeannette M.

Editors

Wing, Jeannette M.
Madigan, David

Advisors

Supervisors

DOI

https://doi.org/10.1145/3412815.3416896

Document Type

Part of book

Metadata

Show full item record

Collections

Utrecht University Repository
Open Access logo

License

taverne

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

URI

https://dspace.library.uu.nl/handle/1874/482012