MASCOTS: Model-Agnostic Symbolic COunterfactual explanations for Time Series