What's Decidable about Discrete Linear Dynamical Systems?

06/22/2022
by   Toghrul Karimov, et al.
0

We survey the state of the art on the algorithmic analysis of discrete linear dynamical systems, focussing in particular on reachability, model-checking, and invariant-generation questions, both unconditionally as well as relative to oracles for the Skolem Problem.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset