Theorem 3.8 — the affine reward-to-go SDP (20) is exact for L = 1 and a conservative approximation of (19) for L > 1

Initializing...

Theorem 3.8 — the affine reward-to-go SDP (20) is exact for L = 1 and a conservative approximation of (19) for L > 1 · Prove2Me