1 citations · 3 across the 13 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.FL2026
Preservation Theorems for Transducer Outputs
Valérie Berthé, Herman Goulet-Ouellet, Toghrul Karimov +2
Suppose we have a deterministic finite-state transducer and an infinite word , and run on to obtain an infinite word . Which properties of are guaranteed t…
cs.LO2026
Equivalence of Continuous-Time Markov Chains and Linear Dynamical Systems
Mihir Vahanwala
The purpose of this short note is to record that an analogue of the following result, which is known for discrete-time linear dynamical systems, also holds in the continuous-time s…
cs.LO2026
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
Piotr Bacik, Joris Nieuwveld, Joël Ouaknine +3
We consider expansions of Presburger arithmetic with families of monadic polynomial predicates. (Examples of such predicates are the set of perfect squares, or the set of integers…