JAO equation (35) for a two-class MDP: from any initial state the reference reward and the total plays of the plantable pairs are at most $\frac{T}{2} + \frac{D'}{2}$

Initializing...

JAO equation (35) for a two-class MDP: from any initial state the reference reward and the total plays of the plantable pairs are at most $\frac{T}{2} + \frac{D'}{2}$ · Prove2Me