First-order orbit queries
Orbit Problems are a class of fundamental reachability questions that arise in the analysis of discrete-time linear dynamical systems such as automata, Markov chains, recurrence sequences, and linear while loops. Instances of the problem comprise a dimension 𝑑∈ℕ, a square matrix 𝐴∈ℚ𝑑×𝑑, and a query...
| Päätekijät: | , , |
|---|---|
| Aineistotyyppi: | Journal article |
| Kieli: | English |
| Julkaistu: |
Springer
2020
|