Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities

DOI10.1017/9781108770750.009OpenAlexW3164346927MaRDI QIDQ5150952

Sriram Sankaranarayanan

Publication date: 16 February 2021

Published in: Foundations of Probabilistic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/9781108770750.009

zbMATH Keywords

computer sciencecomputational statisticsstatistics and probabilitymachine learning and information scienceprogramming languages and applied logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Moment-based invariants for probabilistic loops with non-polynomial assignments

This page was built for publication: Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities