Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Offline timed pattern matching under uncertainty   Given a log and a specification, timed pattern matching aims at exhibiting
for which start and end dates a specification holds on that log. For example,
"a given action is always followed by another action before a given deadline".
This problem has strong connections with monitoring real-time systems. We
address here timed pattern matching in presence of an uncertain specification,
i.e., that may contain timing parameters (e.g., the deadline can be uncertain
or unknown). That is, we want to know for which start and end dates, and for
what values of the deadline, this property holds. Or what is the minimum or
maximum deadline (together with the corresponding start and end dates) for
which this property holds. We propose here a framework for timed pattern
matching based on parametric timed model checking. In contrast to most
parametric timed problems, the solution is effectively computable, and we
perform experiments using IMITATOR to show the applicability of our approach.

31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
35
The categories of this paper are: mtrl-th
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph