Stochastic control in insurance | Arena Library | Arena