Automated Tail Bound Analysis for Probabilistic Recurrence Relations.

Yican Sun Hongfei Fu Krishnendu Chatterjee Amir Kafshdar Goharshady

Published in: CAV (3) (2023)

Keyphrases

quantitative analysis
fully automated
image analysis
probabilistic model
databases
artificial intelligence
computer vision
website
data analysis
lower bound
probability distribution
semi automated
monotonicity constraints