Lemma 1(i), p. 12 — the cost-to-go ℋ_n(ℐ^n, q^n, ζ^n) is nondecreasing in the driver status ζ^n

Initializing...

Lemma 1(i), p. 12 — the cost-to-go ℋ_n(ℐ^n, q^n, ζ^n) is nondecreasing in the driver status ζ^n · Prove2Me