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.