Formal Reasoning about Expectation Properties for Continuous Random Variables.

Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofine Tahar, Reza Akbarpour

Browse the full FM paper archive.