Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions.

Michal Ajdarów Antonín Kucera

Published in: CONCUR (2023)

Keyphrases

worst case
learned from training data
bayesian networks
computational complexity
probabilistic model
real time
trade off
generative model
uncertain data
qualitative probabilistic networks
unbiased estimator
automatic programming
importance sampling
data model
video sequences
image sequences
case study