Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities Conference Proceeding uri icon



  • The quantitative analysis of probabilistic programs answers queries involving the expected values of program variables and expressions involving them, as well as bounds on the probabilities of assertions. In this chapter, we will present the use of concentration of measure inequalities to reason about such bounds. First, we will briefly present and motivate standard concentration of measure inequalities. Next, we survey approaches to reason about quantitative properties using concentration of measure inequalities, illustrating these on numerous motivating examples. Finally, we discuss currently open challenges in this area for future work.

publication date

  • January 1, 2019

Date in CU Experts

  • February 1, 2020 6:41 AM

Full Author List

  • Sankaranarayanan S

author count

  • 1

Additional Document Info

start page

  • TBA

end page

  • TBA