QUAM

Project duration: January 1, 2022 - January 1, 2025

Serbia

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.

QUAM is supported by The Science Fund of the Republic of Serbia

no picture