| Abstract: |
| I will summarize results from recent years on how to use computer-assisted proofs in random dynamical systems. This will concern rigorous estimates on Lyapunov exponents as indicators of synchronization or chaos as well as large deviation estimates on finite-time Lyapunov exponents as indicators of random bifurcations.
The talk will also address new questions and challenges from random dynamical systems that may be approached with rigorous numerics. |
|