Before revision: We study the existence of optimal actions in a zero-sum game \inf _\tau \sup_PE ^P[X_\tau] between a stopper and a controller choosing a probability measure.
After revision: We study the existence of optimal actions in a zero-sum game \inf _{\tau \sup_PE ^P[X_\tau] between a stopper and a controller choosing a probability measure.