1 citations · 3 across the 13 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020
Deciding -Regular Properties on Linear Recurrence Sequences
Shaull Almagor, Toghrul Karimov, Edon Kelmendi +2
We consider the problem of deciding -regular properties on infinite traces produced by linear loops. Here we think of a given loop as producing a single infinite trace that enco…
cs.CC2020★ 1 cited
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…
cs.LO2020
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems
Toghrul Karimov, Joël Ouaknine, James Worrell
Consider a discrete dynamical system given by a square matrix and a starting point . The orbit of such a system is the infinite…