Classification of driving behaviors using STL formulas: A Comparative Study