Bayesian Inference By Program Verification - Joost-pieter Katoen, Rwth Aachen University
Synopsis
In this talk, I will give a perspective on inference in Bayes' networks (BNs) using program verification. I will argue how weakest ...
You Might Also Like
![[OOPSLA24] Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions](https://i.ytimg.com/vi/LtOe2Se7yiI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLACz0LZuwap67FgACO83afTzoJChg)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| Ssvid |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.