A machine learning approach for generating temporal logic classifications of complex model behaviours