Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Mining Shape Expressions with ShapeIt   We present ShapeIt, a tool for mining specifications of cyber-physical
systems (CPS) from their real-valued behaviors. The learned specifications are
in the form of linear shape expressions, a declarative formal specification
language suitable to express behavioral properties over real-valued signals. A
linear shape expression is a regular expression composed of parameterized lines
as atomic symbols with symbolic constraints on the line parameters. We present
here the architecture of our tool along with the different steps of the
specification mining algorithm. We also describe the usage of the tool
demonstrating its applicability on several case studies from different
application domains.

13
The categories of this paper are: quant-ph
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
11
The categories of this paper are: hep-lat
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
17
The categories of this paper are: q-fin
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics