Classification of driving behaviors using STL formulas: a comparative study

DOI10.1007/978-3-031-15839-1_9OpenAlexW4293399520MaRDI QIDQ2112115

Nikos Aréchiga, Necmiye Ozay, Ruya Karagulle, Jonathan De Castro

Publication date: 18 January 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15839-1_9

zbMATH Keywords

formal methodsdriving behaviorSTL classification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Temporal logic motion planning for dynamic robots
• Temporal logic inference for classification and prediction from data
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Data-Driven Statistical Learning of Temporal Logic Properties

This page was built for publication: Classification of driving behaviors using STL formulas: a comparative study