Efficient Analysis of Probabilistic Programs with an Unbounded Counter
Brázdil, Tomás, Kiefer, Stefan, Kŭcera, AntonínVolume:
61
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/2629599
Date:
December, 2014
File:
PDF, 558 KB
english, 2014