Before revision: =\inf_{\Rho\tau\in\T} and C:=\sup_{\Tau\rho\in\T} in continuous time , where U(s,t) is \mathcal{F_{s\vee t}-measurable (this is the new feature of our stopping game ), } is the set of stopping times, and , : \mapsto satisfy certain non-anticipativity conditions.
After revision: =\inf_{\Rho\tau\in\T} and C:=\sup_{\Tau\rho\in\T} _{s\vee t}-measurable (this is the new feature of our stopping game ), } is the set of stopping times, and , : \mapsto satisfy certain non-anticipativity conditions.