TY - RPRT TI - Spectral Koopman-Hopf Formula for Reachability with Adversary AU - Sarang Sutavani AU - Umesh Vaidya PY - 2026 UR - https://arxiv.org/abs/2609.06878 ID - 2609.06878 ER -