Verifiability Talk 23: On Synthesizing Probabilistic Programs, Joost-Pieter Katoen (RWTH-Aachen)
Channel: UKRI TAS Verifiability Node
Date: 2021-12-02

Title: On Synthesizing Probabilistic Programs

Speaker: Joost-Pieter Katoen, RWTH-Aachen, Germany 

Date: 02 December 2021