Assumption Generation for the Verification of Learning-Enabled Autonomous Systems