Relatively Complete Verification of Probabilistic Programs

Batz, Kevin (Corresponding author); Kaminski, Benjamin Lucien (Corresponding author); Katoen, Joost-Pieter (Corresponding author); Matheja, Christoph (Corresponding author)

(2020)
Preprint