An Assertion-Based Logic for Local Reasoning about Probabilistic Programs.

Huiling Wu, Anran Cui, Yuxin Deng

Browse the full SETTA paper archive.