A stopping time has determined by . The Strong Markov property says that, conditional on and , the post- chain is a fresh chain started at , independent of the pre- history.
First-step equations and give .
Augment by whether the last sound was a growl. The equations , , give .
Augment the state by the current sound and , and solve the translation-invariant first-step equations. Equivalently, solve the Poisson equation for the additive reward . The stationary probabilities are , so the drift is per sound. The correction term has the same value at the initial and terminal bark states; optional stopping at therefore gives the expected produced length .

Articles by others on the same topic (0)

There are currently no matching articles.