In these talks we consider several problems related to stochastic systems, such as model checking, planning, and so on, under the fairness assumption.Back to Start page