QUAM

QUAM is a scientific project supported for funding by The Science Fund of the Republic of Serbia within The Program IDEAS, Sub-program: Natural sciences and mathematics. QUAM is one of 105 projects selected after the administrative check and two-stage evaluation process as a project that contributes to important scientific and social topics.

Our Project team consists of 13 ambitious researchers from 4 eminent Serbian Research institutions and Organization (SROs).

Our goal is to make a contribution to the development of the theory of quantitative automata. This general aim is going to be achieved throu the realization of 7 Work Packages (WP) that deal with the set of specific objectives which include:

• ●development of methods and algorithms for comparing the behaviour of weighted automata, and especially for testing the existence of simulations and bisimulations and their computing,
• ●development of methods and algorithms to reduce the number of states and minimize weighted automata,
• ●development of methods and algorithms for determinization of weighted automata
• ●development of methods and algorithms for reconstruction of weighted automata from their behaviour, for their extraction from black-box models, and for learning weighted automata,
• ●development of methods and algorithms for solving systems of matrix inequations and equations, factorization of matrices and computing generalized inverses, which provides mathematical tools to achieve the above goals.