The Semialgebraic Orbit Problem
<p>The Semialgebraic Orbit Problem is a fundamental reachability question that arises in the analysis of discrete-time linear dynamical systems such as automata, Markov chains, recurrence sequences, and linear while loops. An instance of the problem comprises a dimension d in N, a square matri...
| Príomhchruthaitheoirí: | , , |
|---|---|
| Formáid: | Conference item |
| Foilsithe / Cruthaithe: |
Schloss Dagstuhl
2019
|