Before revision:  Despite its widespread use, research on safety guarantees for systems the dynamics of which are extracted via the Koopman operator , has started receiving attention only recently .
After revision:  Despite its widespread use, research on safety guarantees for systems the dynamics of which are extracted via the Koopman operator .