Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Explaining Violation Traces with Finite State Natural Language
  Generation Models   An essential element of any verification technique is that of identifying and
communicating to the user, system behaviour which leads to a deviation from the
expected behaviour. Such behaviours are typically made available as long traces
of system actions which would benefit from a natural language explanation of
the trace and especially in the context of business logic level specifications.
In this paper we present a natural language generation model which can be used
to explain such traces. A key idea is that the explanation language is a CNL
that is, formally speaking, regular language susceptible transformations that
can be expressed with finite state machinery. At the same time it admits
various forms of abstraction and simplification which contribute to the
naturalness of explanations that are communicated to the user.

21
The categories of this paper are: adap-org
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
32
The categories of this paper are: atom-ph
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con