Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
<p>The Orbit Problem consists of determining, given a linear transformation A on Qd, together with vectors x and y, whether the orbit of x under repeated applications of A can ever reach y. This problem was famously shown to be decidable by Kannan and Lipton in the 1980s.</p> <br/>...
| Main Authors: | , , , , |
|---|---|
| Formato: | Journal article |
| Publicado: |
Schloss Dagstuhl
2017
|
Search Result 1
Semialgebraic invariant synthesis for the Kannan-Lipton Orbit Problem
Publicado 2017
Conference item