Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Incremental Verification of Parametric and Reconfigurable Markov Chains   The analysis of parametrised systems is a growing field in verification, but
the analysis of parametrised probabilistic systems is still in its infancy.
This is partly because it is much harder: while there are beautiful cut-off
results for non-stochastic systems that allow to focus only on small instances,
there is little hope that such approaches extend to the quantitative analysis
of probabilistic systems, as the probabilities depend on the size of a system.
The unicorn would be an automatic transformation of a parametrised system into
a formula, which allows to plot, say, the likelihood to reach a goal or the
expected costs to do so, against the parameters of a system. While such
analysis exists for narrow classes of systems, such as waiting queues, we aim
both lower---stepwise exploring the parameter space---and higher---considering
general systems.
  The novelty is to heavily exploit the similarity between instances of
parametrised systems. When the parameter grows, the system for the smaller
parameter is, broadly speaking, present in the larger system. We use this
observation to guide the elegant state-elimination method for parametric Markov
chains in such a way, that the model transformations will start with those
parts of the system that are stable under increasing the parameter. We argue
that this can lead to a very cheap iterative way to analyse parametric systems,
show how this approach extends to reconfigurable systems, and demonstrate on
two benchmarks that this approach scales.

33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol