Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automated Verification and Synthesis of Embedded Systems using Machine
  Learning   The dependency on the correct functioning of embedded systems is rapidly
growing, mainly due to their wide range of applications, such as micro-grids,
automotive device control, health care, surveillance, mobile devices, and
consumer electronics. Their structures are becoming more and more complex and
now require multi-core processors with scalable shared memory, in order to meet
increasing computational power demands. As a consequence, reliability of
embedded (distributed) software becomes a key issue during system development,
which must be carefully addressed and assured. The present research discusses
challenges, problems, and recent advances to ensure correctness and timeliness
regarding embedded systems. Reliability issues, in the development of
micro-grids and cyber-physical systems, are then considered, as a prominent
verification and synthesis application. In particular, machine learning
techniques emerge as one of the main approaches to learn reliable
implementations of embedded software for achieving a correct-by-construction
design.

33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg