Login / Signup

Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices.

Volker DiekertIgor PotapovPavel Semukhin
Published in: ISSAC (2020)
Keyphrases
  • optimization problems
  • problems involving
  • machine learning
  • benchmark problems
  • clustering algorithm
  • multi agent systems
  • least squares
  • temporal logic