Run Time Assurance For Intelligent Aerospace Control Systems