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
∙
07/04/2021
Linear-Time Model Checking Branching Processes
(Multi-type) branching processes are a natural and well-studied model fo...
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