Search Results for author:
Found 1 papers, 0 papers with code
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving
Our work in essence is based on Hehner's predicative probabilistic programming, but there are several obstacles to the wider adoption of his work.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
