Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Safe Control with Learned Certificates: A Survey of Neural Lyapunov,
  Barrier, and Contraction methods   Learning-enabled control systems have demonstrated impressive empirical
performance on challenging control problems in robotics, but this performance
comes at the cost of reduced transparency and lack of guarantees on the safety
or stability of the learned controllers. In recent years, new techniques have
emerged to provide these guarantees by learning certificates alongside control
policies -- these certificates provide concise, data-driven proofs that
guarantee the safety and stability of the learned control system. These methods
not only allow the user to verify the safety of a learned controller but also
provide supervision during training, allowing safety and stability requirements
to influence the training process itself. In this paper, we provide a
comprehensive survey of this rapidly developing field of certificate learning.
We hope that this paper will serve as an accessible introduction to the theory
and practice of certificate learning, both to those who wish to apply these
tools to practical robotics problems and to those who wish to dive more deeply
into the theory of learning for control.

26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
13
The categories of this paper are: quant-ph
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
14
The categories of this paper are: math-ph