Verifying the Safety of Autonomous Systems with Neural Network Controllers