Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: RTAMT: Online Robustness Monitors from STL   We present RTAMT, an online monitoring library for Signal Temporal Logic
(STL) and its interface-aware variant (IA-STL), providing both discrete- and
dense-time interpretation of the logic. We also introduce RTAMT4ROS, a tool
that integrates RTAMT with Robotic Operating System (ROS), a common environment
for developing robotic applications. We evaluate RTAMT and RTAMT4ROS on two
robotic case studies.

16
The categories of this paper are: stat
9
The categories of this paper are: nlin
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
27
The categories of this paper are: comp-gas
19
The categories of this paper are: eess