Efficient Analysis of Probabilistic Programs with an Unbounded Counter.

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

Published in: J. ACM (2014)

Keyphrases

statistical analysis
website
automatic analysis
database
data sets
three dimensional
mobile robot
generative model
lightweight
computationally expensive