54 citations · 95 across the 24 of their papers we have counts for
4 papers · 1 filter
The Semialgebraic Orbit Problem
Shaull Almagor, Joël Oukanine, James Worrell
The Semialgebraic Orbit Problem is a fundamental reachability question that arises in the analysis of discrete-time linear dynamical systems such as automata, Markov chains, recurr…
Effective Divergence Analysis for Linear Recurrence Sequences
Shaull Almagor, Brynmor Chapman, Mehran Hosseini +2
We study the growth behaviour of rational linear recurrence sequences. We show that for low-order sequences, divergence is decidable in polynomial time. We also exhibit a polynomia…
O-Minimal Invariants for Discrete-Time Dynamical Systems
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine +1
Termination analysis of linear loops plays a key rôle in several areas of computer science, including program verification and abstract interpretation. Already for the simplest var…
The Polytope-Collision Problem
Shaull Almagor, Joël Ouaknine, James Worrell
The Orbit Problem consists of determining, given a matrix and vectors , whether there exists such that .…