I. Potapov

activity

20042026

most citedTemporal logic with predicate abstraction

18 citations · 28 across the 25 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.DS2019

Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter

Abdullah Almethen, Othon Michail, Igor Potapov

In this paper, we study a discrete system of entities residing on a two-dimensional square grid. Each entity is modelled as a node occupying a distinct cell of the grid. The set of…

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…

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

Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter

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

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