Bi-Weekly Talk: Marcel Hark

Wednesday, 19.09.2018, 10:15 am

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E3, room 9u10

Speaker: 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.