Bi-Weekly Talk: Marcel Hark
Mittwoch, 19.09.2018, 10.15 Uhr
Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9u10
Vortragender: Marcel Hark
Expected outcomes of probabilistic programs can be described by least fixed points of certain continuous functions. Whereas upper bounds are already well studied and simple to infer in general, there is no widely-applicable rule for determining lower bounds. In this talk, we will present the first inductive rule for the inference of lower bounds on expected outcomes of probabilistic programs by connecting the results from fixed point theory with the Optional Stopping Theorem.