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: | , , , |
|---|---|
| 格式: | Conference item |
| 出版: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2019
|