"Nondeterminism"

Models for Probabilistic Programs with an Adversary

Robert Rand, Steve Zdancewic

Verifying Probabilistic Programs in the Presence of an Adversary

3rd place in the graduate student poster competition.

Robert Rand