Efficient Analysis of Probabilistic Programs with an Unbounded Counter

Tomás Brázdil Stefan Kiefer Antonín Kucera

Published in: CoRR (2011)

Keyphrases

probabilistic model
data driven
quantitative analysis
digital libraries
data analysis
image analysis
evolutionary algorithm
statistical analysis