AVIATE Seminar “Safety Assurance of Stochastic Systems”