The problem in brief is as follows.
If (T_1 < T_2) Y = 1 ---------------(1)
else Y = 0 ---------------(2)
Then,
Prob(\sigma Y < C) > \alpha -------(3)
In the above problem, T_1, T_2 and C are random variables (lets assume with some normal distributions).
The 1st and 2nd conditions can be linearized using mixed logic constraints. Also, the equation 3 can be solved using chance constrained programming.
The only problem is how to transform/generate the probability distribution of Y (Y is a binary variable) from distributions of T_1 and T_2.
Any help would be highly appreciated.