research
∙
07/11/2023
On the Identity and Group Problems for Complex Heisenberg Matrices
We study the Identity Problem, the problem of determining if a finitely ...
share
research
∙
02/18/2020
Decidability of cutpoint isolation for letter-monotonic probabilistic finite automata
We show the surprising result that the cutpoint isolation problem is dec...
research
∙
02/26/2019
On the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond
We consider the following variant of the Mortality Problem: given k× k m...
research
∙
02/26/2019
Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond
We consider the following variant of the Mortality Problem: given k× k m...
research
∙
02/25/2019
Polynomially Ambiguous Probabilistic Automata on Restricted Languages
We consider the computability and complexity of decision questions for P...
research
∙
10/03/2018