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.
Principles of System Design -- Thomas A. Henzinger
Festschrift, LNCS 13660, 2022. 18 pages.
PDF
© 2022 Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, and James Worrell.