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...
Main Authors: | , , , |
---|---|
Format: | Conference item |
Published: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2019
|