The pseudo-Skolem Problem is decidable

We study fundamental decision problems on linear dynamical systems in discrete time. We focus on pseudo-orbits, the collection of trajectories of the dynamical system for which there is an arbitrarily small perturbation at each step. Pseudo-orbits are generalizations of orbits in the topological the...

詳細記述

書誌詳細
主要な著者: D'Costa, J, Karimov, T, Majumdar, R, Ouaknine, J, Salamati, M, Soudjani, S, Worrell, J
フォーマット: Conference item
言語:English
出版事項: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021

類似資料