共 50 条
- [21] Periodic motions and chaos in nonlinear dynamical systems The European Physical Journal Special Topics, 2019, 228 : 1745 - 1746
- [26] Algebraic Model Checking for Discrete Linear Dynamical Systems FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2022, 2022, 13465 : 3 - 15
- [28] RIGOROUS CHAOS VERIFICATION IN DISCRETE DYNAMICAL-SYSTEMS PHYSICA D, 1993, 67 (04): : 327 - 346