Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods.

Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan

Browse the full SAS paper archive.