Publications

Classification of Driving Behaviors Using STL Formulas: A Comparative Study

FORMATS, 2022

This paper conducts a comparative study of classification of longitudinal driving behavior using Signal Temporal Logic (STL) formulas.

Recommended citation: Karagulle, R., Aréchiga, N., DeCastro, J., Ozay, N. (2022). Classification of Driving Behaviors Using STL Formulas: A Comparative Study. In: Bogomolov, S., Parker, D. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2022. Lecture Notes in Computer Science, vol 13465. Springer, Cham. https://doi.org/10.1007/978-3-031-15839-1_9.