Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Termination Analysis of Probabilistic Programs through
  Positivstellensatz's   We consider nondeterministic probabilistic programs with the most basic
liveness property of termination. We present efficient methods for termination
analysis of nondeterministic probabilistic programs with polynomial guards and
assignments. Our approach is through synthesis of polynomial ranking
supermartingales, that on one hand significantly generalizes linear ranking
supermartingales and on the other hand is a counterpart of polynomial
ranking-functions for proving termination of nonprobabilistic programs. The
approach synthesizes polynomial ranking-supermartingales through
Positivstellensatz's, yielding an efficient method which is not only sound, but
also semi-complete over a large subclass of programs. We show experimental
results to demonstrate that our approach can handle several classical programs
with complex polynomial guards and assignments, and can synthesize efficient
quadratic ranking-supermartingales when a linear one does not exist even for
simple affine programs.

18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th