Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary

Hanxi Chen, Noam Zilberstein, Andrew C. Myers +1

In the context of probabilistic programs, an oblivious adversary resolves nondeterminism without seeing the outcomes of random draws. Obliviousness is a common assumption in online…