Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Robust Specification Theory for Modal Event-Clock Automata   In a series of recent work, we have introduced a general framework for
quantitative reasoning in specification theories. The contribution of this
paper is to show how this framework can be applied to yield a robust
specification theory for timed specifications.

26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat