Foster--Lyapunov drift bound for MDP travel time: a nonnegative $V$ with one-step drift $\le -1$ off the target bounds the hitting time by $V(\mathrm{src})$

Initializing...

Foster--Lyapunov drift bound for MDP travel time: a nonnegative $V$ with one-step drift $\le -1$ off the target bounds the hitting time by $V(\mathrm{src})$ · Prove2Me