Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops

MLA

Zaiser, Fabian, et al. Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops. 2024. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2411.10393&authtype=sso&custid=ns315887.

APA

Zaiser, F., Murawski, A. S., & Ong, C.-H. L. (2024). Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops.

Chicago

Zaiser, Fabian, Andrzej S. Murawski, and C. -H. Luke Ong. 2024. “Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2411.10393&authtype=sso&custid=ns315887.