Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Approximating a Behavioural Pseudometric without Discount for<br>
  Probabilistic Systems   Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of
behavioural pseudometrics for probabilistic transition systems. These
pseudometrics are a quantitative analogue of probabilistic bisimilarity.
Distance zero captures probabilistic bisimilarity. Each pseudometric has a
discount factor, a real number in the interval (0, 1]. The smaller the discount
factor, the more the future is discounted. If the discount factor is one, then
the future is not discounted at all. Desharnais et al. showed that the
behavioural distances can be calculated up to any desired degree of accuracy if
the discount factor is smaller than one. In this paper, we show that the
distances can also be approximated if the future is not discounted. A key
ingredient of our algorithm is Tarski's decision procedure for the first order
theory over real closed fields. By exploiting the Kantorovich-Rubinstein
duality theorem we can restrict to the existential fragment for which more
efficient decision procedures exist.

24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys