Real-life decisions often need to take into account uncertainties about many future events. There are various models for processes that evolve over time in a probabilistic manner. Such processes are called stochastic ...