From Distributions to Probabilistic Reactive Programs.

Riccardo Bresciani, Andrew Butterfield

Browse the full ICTAC paper archive.