Bayesian optimal stopping (source code)

= Bayesian optimal stopping

An <optimal stopping> problem in which observations update a <posterior probability> distribution over an unknown parameter. The decision state includes that posterior.