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...
| Հիմնական հեղինակներ: | , , , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2019
|