research
∙
05/26/2022
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
We consider linear cost-register automata (equivalent to weighted automa...
share
research
∙
01/12/2022
Binomial Complexities and Parikh-Collinear Morphisms
Two words are k-binomially equivalent, if each word of length at most k ...
research
∙
04/21/2021
The Orbit Problem for Parametric Linear Dynamical Systems
We study a parametric version of the Kannan-Lipton Orbit Problem for lin...
research
∙
09/28/2020
Reachability in Dynamical Systems with Rounding
We consider reachability in dynamical systems with discrete linear updat...
research
∙
07/23/2020
On Positivity and Minimality for Second-Order Holonomic Sequences
An infinite sequence ⟨u_n⟩_n∈ℕ of real numbers is holonomic (also known ...
research
∙
09/24/2018