Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient Analysis of Probabilistic Programs with an Unbounded Counter   We show that a subclass of infinite-state probabilistic programs that can be
modeled by probabilistic one-counter automata (pOC) admits an efficient
quantitative analysis. In particular, we show that the expected termination
time can be approximated up to an arbitrarily small relative error with
polynomially many arithmetic operations, and the same holds for the probability
of all runs that satisfy a given omega-regular property. Further, our results
establish a powerful link between pOC and martingale theory, which leads to
fundamental observations about quantitative properties of runs in pOC. In
particular, we provide a "divergence gap theorem", which bounds a positive
non-termination probability in pOC away from zero.

17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an