On reachability problems for low-dimensional matrix semigroups

On reachability problems for low-dimensional matrix semigroups

We consider the Membership and the Half-Space Reachability problems for matrices in dimensions two and three. Our first main result is that the Membership Problem is decidable for finitely generated sub-semigroups of the Heisenberg group over rational numbers. Furthermore, we prove two decidability...

Full beskrivning

Bibliografiska uppgifter
Huvudupphovsmän: Colcombet, T, Ouaknine, J, Semukhin, P, Worrell, J
Materialtyp: Conference item
Publicerad: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019

Liknande verk

Liknande verk