P. Semukhin

activity

20152026

most citedOn Reachability Problems for Low-Dimensional Matrix Semigroups

5 citations · 12 across the 10 of their papers we have counts for

collaborators

Showing 2019Show all

3 papers · 1 filter

cs.FL2019

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

Volker Diekert, Igor Potapov, Pavel Semukhin

We consider membership problems for rational subsets of the semigroup of $2 \times 2$ matrices over $Q$ . For a semigroup $M$ , the rational subsets $Rat (M)$ are def…

cs.DM2019★ 3 cited

On the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond

Paul C. Bell, Igor Potapov, Pavel Semukhin

We consider the following variant of the Mortality Problem: given $k \times k$ matrices $A_{1}, A_{2}, \dots, A_{t}$ , does there exist nonnegative integers $m_{1}, m_{2}, \dots, m_{t}$ such tha…

cs.CC2019★ 5 cited

On Reachability Problems for Low-Dimensional Matrix Semigroups

Thomas Colcombet, Joël Ouaknine, Pavel Semukhin +1

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…

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

On the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond

On Reachability Problems for Low-Dimensional Matrix Semigroups

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