Stochastic Probabilistic Programs. - David Tolpin; Tomer Dobkin (CoRR, 2020)

Bob and Alice Go to a Bar: Reasoning About Future With Probabilistic Programs. - David Tolpin; Tomer Dobkin (CoRR, 2021)