Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards the Verification of Safety-critical Autonomous Systems in
  Dynamic Environments   There is an increasing necessity to deploy autonomous systems in highly
heterogeneous, dynamic environments, e.g. service robots in hospitals or
autonomous cars on highways. Due to the uncertainty in these environments, the
verification results obtained with respect to the system and environment models
at design-time might not be transferable to the system behavior at run time.
For autonomous systems operating in dynamic environments, safety of motion and
collision avoidance are critical requirements. With regard to these
requirements, Macek et al. [6] define the passive safety property, which
requires that no collision can occur while the autonomous system is moving. To
verify this property, we adopt a two phase process which combines static
verification methods, used at design time, with dynamic ones, used at run time.
In the design phase, we exploit UPPAAL to formalize the autonomous system and
its environment as timed automata and the safety property as TCTL formula and
to verify the correctness of these models with respect to this property. For
the runtime phase, we build a monitor to check whether the assumptions made at
design time are also correct at run time. If the current system observations of
the environment do not correspond to the initial system assumptions, the
monitor sends feedback to the system and the system enters a passive safe
state.

2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys