Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed
  Automata   We present here Imitator II, a new version of Imitator, a tool implementing
the "inverse method" for parametric timed automata: given a reference valuation
of the parameters, it synthesizes a constraint such that, for any valuation
satisfying this constraint, the system behaves the same as under the reference
valuation in terms of traces, i.e., alternating sequences of locations and
actions. Imitator II also implements the "behavioral cartography algorithm",
allowing us to solve the following good parameters problem: find a set of
valuations within a given bounded parametric domain for which the system
behaves well. We present new features and optimizations of the tool, and give
results of applications to various examples of asynchronous circuits and
communication protocols.

5
The categories of this paper are: gr-qc
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg