We consider the optimal stopping problem with non-linear f-expectation (induced by a BSDE) without making any regularity assumptions on the reward process xi. We show that the value family can be aggregated by an optional process Y . We characterize the process Y as the Ef-Snell envelope of xi....

We formulate a notion of doubly reflected BSDE in the case where the barriers xi and zeta do not satisfy any regularity assumption. Under a technical assumption (a Mokobodzki-type condition), we show existence and uniqueness of the solution. In the case where xi is right upper-semicontinuous and...