How Safe Is Safe Enough Koopman Pdf