We have just published a preprint with the first finite-data error analysis for the Koopman operator in the stochastic and/or control setting. More details can be found at https://ris.uni-paderborn.de/publication/23428, and the paper can be downloaded from the arXiv.
