Before revision:  Its potential applications include  randomized trials with imperfect compliance, the evaluation of social programs and, more generally, simultaneous equations models. The method does not require functional form restrictions a priori, but can incorporate parametric or nonparametric assumptions into the estimation process. It proceeds by solving an infinite dimensional program on the paths of a system of counterfactual stochastic processes in order to obtain the counterfactual bounds. A novel "sampling of paths"- approach provides the practical solution concept and probabilistic approximation guarantees .
After revision:  Its potential applications include randomized trials with imperfect compliance, the evaluation of social programs , welfare estimation in demand models, and continuous choice models .