P
Initializing...
Cutoff affine Gaussian candidate satisfies canonical HJB generator and gradient inequalities at positive reserves · Prove2Me