An experience in using machine learning for short-term predictions in smart transportation systems - Bacciu, Davide; Carta, Antonio; Gnesi, Stefania; Semini, Laura (Journal of logical and algebraic methods in programming, 2017)