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...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2020
|