Data-Driven Invariant Learning for Probabilistic Programs.

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Browse the full CAV paper archive.