TY  - RPRT
TI  - Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum
AU  - Jianqiang Ding
AU  - Shankar A. Deka
PY  - 2025
UR  - https://arxiv.org/abs/2411.05554
ID  - 2411.05554
ER  -