| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set | D'Costa, Julian et al. | 2022 |
| 2 | Decision Problems for Second-Order Holonomic Recurrences | Neumann, Eike et al. | 2021 |
| 3 | On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets | D'Costa, Julian et al. | 2021 |
| 4 | On Ranking Function Synthesis and Termination for Polynomial Programs | Neumann, Eike et al. | 2020 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 4 |