7 citations · 21 across the 10 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Porous Invariants
Engel Lefaucheux, Joël Ouaknine, David Purser +1
We introduce the notion of porous invariants for multipath (or branching/nondeterministic) affine loops over the integers; these invariants are not necessarily convex, and can in f…
cs.LO2021★ 4 cited
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…