Temporal logic inference for classification and prediction from data

Kong Z., Jones A., Medina A. A. , AYDIN GÖL E. , Belta C.

Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14, Berlin, Germany, 15 - 17 Nisan 2014 identifier