slides - Department of Computer Science
slides - Department of Computer Science
slides - Department of Computer Science
SHOW LESS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Pro<strong>of</strong> obligation for Increase operation<br />
• Rule for probabilistic choice substitution.<br />
[S p ⊕ T ]R ≡ p × [S]R + (1 − p) × [T ]R