@misc{indiciae489d1c2d4cdc,
  title = {Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty},
  author = {Jianqiang Ding and Shankar A. Deka},
  year = {2026},
  url = {https://arxiv.org/abs/2511.23322},
  note = {Source identifier: 2511.23322}
}