التفاصيل البيبلوغرافية
| العنوان: |
Driver Identification Through Formal Methods. |
| المؤلفون: |
Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella |
| المصدر: |
IEEE Transactions on Intelligent Transportation Systems; Jun2022, Vol. 23 Issue 6, p5625-5637, 13p |
| مستخلص: |
Recently, several research efforts have been focused on automotive safety, due to the increasing technology embedded in our vehicles. Research community have produced different methods aimed, for instance, to profile driver behaviour, starting from a feature set gathered by the vehicle. The provided methods are mainly machine learning-based: these solutions, as largely demonstrate in literature, suffer from several issues, due to the context variability but also because they are not able to provide a rational reason for the specific prediction. To overcome these limitations, in this paper we propose a novel model checking based approach to driver identification. Furthermore, a novel automatic procedure able to infer a logical representation of the driver behaviour is discussed. Two real-world datasets for the evaluation of the proposed method are considered, obtaining interesting results in driver identification. [ABSTRACT FROM AUTHOR] |
|
Copyright of IEEE Transactions on Intelligent Transportation Systems is the property of IEEE and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| قاعدة البيانات: |
Complementary Index |
