Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk).

Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella-Bguelin

Browse the full CAV paper archive.