C Barloy, N Fijalkow, N Lhote, F Mazowiecki - Information and Computation, 2022 - Elsevier
We introduce a subclass of linear recurrence sequences which we call poly-rational sequences because they are denoted by rational expressions closed under sum and …
We present pumping lemmas for five classes of functions definable by fragments of weighted automata over the min-plus semiring, the max-plus semiring and the semiring of natural …
We study the Radical Identity Testing problem (RIT): Given an algebraic circuit representing a polynomial and nonnegative integers a1,…, ak and d1,…, dk, written in binary, test …
S Akshay, S Chakraborty, D Pal - International Joint Conference on …, 2022 - Springer
The long run behaviour of linear dynamical systems is often studied by looking at eventual properties of matrices and recurrences that underlie the system. A basic problem in this …
M Vahanwala - 43rd IARCS Annual Conference on Foundations …, 2023 - drops.dagstuhl.de
Abstract Linear Recurrence Sequences (LRS) are a fundamental mathematical primitive for a plethora of applications such as the verification of probabilistic systems, model checking …
The Skolem Problem asks to decide whether a given integer linear recurrence sequence (LRS) has a zero term. Decidability of this problem has been open for many decades, with …
M Vahanwala - arXiv preprint arXiv:2305.04870, 2023 - arxiv.org
Linear Recurrence Sequences (LRS) are a fundamental mathematical primitive for a plethora of applications such as the verification of probabilistic systems, model checking …
S Akshay, H Bazille, B Genest… - Logical Methods in …, 2024 - lmcs.episciences.org
The Skolem problem is a long-standing open problem in linear dynamical systems: can a linear recurrence sequence (LRS) ever reach 0 from a given initial configuration? Similarly …
PC Bell, P Semukhin - Logical Methods in Computer Science, 2023 - lmcs.episciences.org
We study the emptiness and λ-reachability problems for unary and binary Probabilistic Finite Automata (PFA) and characterise the complexity of these problems in terms of the degree of …