论文标题
离散线性动力学系统可决定的是什么？
What's Decidable about Discrete Linear Dynamical Systems?
论文作者
论文摘要
我们对离散线性动力学系统的算法分析进行了调查，尤其是无条件地以及相对于Skolem问题的Oracles，尤其关注可达性，模型检查和不变生成问题。
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.
