research
∙
08/12/2022
Multi-Model Probabilistic Programming
Probabilistic programming makes it easy to represent a probabilistic mod...
research
∙
08/21/2020
Transforming Probabilistic Programs for Model Checking
Probabilistic programming is perfectly suited to reliable and transparen...
research
∙
09/10/2019