1 citations · 3 across the 4 of their papers we have counts for
10 papers
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki +2
We consider linear cost-register automata (equivalent to weighted automata) over the semiring of nonnegative rationals, which generalise probabilistic automata. The two problems of…
The Orbit Problem for Parametric Linear Dynamical Systems
Christel Baier, Florian Funke, Simon Jantsch +7
We study a parametric version of the Kannan-Lipton Orbit Problem for linear dynamical systems. We show decidability in the case of one parameter and Skolem-hardness with two or mor…
On Abelian Closures of Infinite Non-binary Words
Juhani Karhumäki, Svetlana Puzynina, Markus A. Whiteland
Two finite words and are called abelian equivalent if each letter occurs equally many times in both and . The abelian closure of an infinit…
Reachability in Dynamical Systems with Rounding
Christel Baier, Florian Funke, Simon Jantsch +6
We consider reachability in dynamical systems with discrete linear updates, but with fixed digital precision, i.e., such that values of the system are rounded at each step. Given a…
Avoiding abelian powers cyclically
Jarkko Peltomäki, Markus A. Whiteland
We study a new notion of cyclic avoidance of abelian powers. A finite word avoids abelian -powers cyclically if for each abelian -power of period occurring in the inf…
On Positivity and Minimality for Second-Order Holonomic Sequences
George Kenison, Oleksiy Klurman, Engel Lefaucheux +5
An infinite sequence of real numbers is holonomic (also known as P-recursive or P-finite) if it satisfies a linear recurrence relation with p…