Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Arrowsmith, D.K., Place, C.M.: An introduction to dynamical systems. Cambridge (1990)
2. Lecture Notes in Computer Science;L. Bachmair,1986
3. Blondel, V.D., Bournez, O., Koiran, P., Papadimitriou, C.H., Tsitsiklis, J.N.: Deciding stability and mortality of piecewise affine dynamical system. Theoretical Computer Science 255(1–2), 687–696 (2001)
4. Blondel, V.D., Tsitsiklis, J.N.: A survey of computational complexity results in systems and control. Automatica 36, 1249–1274 (2000)
5. Lecture Notes in Computer Science;M.A. Colón,2001
Cited by
66 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates;Lecture Notes in Computer Science;2024
2. Termination of triangular polynomial loops;Formal Methods in System Design;2023-12-04
3. Termination of linear loops under commutative updates;Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation;2023-07-24
4. What Else is Undecidable About Loops?;Relational and Algebraic Methods in Computer Science;2023
5. Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs;Frontiers of Combining Systems;2023