Reinforced Symbolic Learning with Logical Constraints for Predicting Turbine Blade Fatigue Life