Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Analysis of Timed and Long-Run Objectives for Markov Automata   Markov automata (MAs) extend labelled transition systems with random delays
and probabilistic branching. Action-labelled transitions are instantaneous and
yield a distribution over states, whereas timed transitions impose a random
delay governed by an exponential distribution. MAs are thus a nondeterministic
variation of continuous-time Markov chains. MAs are compositional and are used
to provide a semantics for engineering frameworks such as (dynamic) fault
trees, (generalised) stochastic Petri nets, and the Architecture Analysis &
Design Language (AADL). This paper considers the quantitative analysis of MAs.
We consider three objectives: expected time, long-run average, and timed
(interval) reachability. Expected time objectives focus on determining the
minimal (or maximal) expected time to reach a set of states. Long-run
objectives determine the fraction of time to be in a set of states when
considering an infinite time horizon. Timed reachability objectives are about
computing the probability to reach a set of states within a given time
interval. This paper presents the foundations and details of the algorithms and
their correctness proofs. We report on several case studies conducted using a
prototypical tool implementation of the algorithms, driven by the MAPA
modelling language for efficiently generating MAs.

21
The categories of this paper are: adap-org
2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
13
The categories of this paper are: quant-ph
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph