TY  - RPRT
TI  - Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
AU  - Stanley Bak
AU  - Sergiy Bogomolov
AU  - Parasara Sridhar Duggirala
AU  - Adam R. Gerlach
AU  - Kostiantyn Potomkin
PY  - 2021
UR  - https://arxiv.org/abs/2105.00886
ID  - 2105.00886
ER  -