Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Quantitative Simulations by Matrices   We introduce notions of simulation between semiring-weighted automata as
models of quantitative systems. Our simulations are instances of the
categorical/coalgebraic notions previously studied by Hasuo---hence soundness
against language inclusion comes for free---but are concretely presented as
matrices that are subject to linear inequality constraints. Pervasiveness of
these formalisms allows us to exploit existing algorithms in: searching for a
simulation, and hence verifying quantitative correctness that is formulated as
language inclusion. Transformations of automata that aid search for simulations
are introduced, too. This verification workflow is implemented for the
plus-times and max-plus semirings. Furthermore, an extension to weighted tree
automata is presented and implemented.

28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
22
The categories of this paper are: chao-dyn
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg