Driver Identification Through Formal Methods
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 the authors 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.
- Record URL:
- Record URL:
-
Availability:
- Find a library where document is available. Order URL: http://worldcat.org/oclc/41297384
-
Supplemental Notes:
- Copyright © 2022, IEEE.
-
Authors:
- Martinelli, Fabio
- Mercaldo, Francesco
- Nardone, Vittoria
- Santone, Antonella
- Publication Date: 2022-6
Language
- English
Media Info
- Media Type: Web
- Features: References;
- Pagination: pp 5625-5637
-
Serial:
- IEEE Transactions on Intelligent Transportation Systems
- Volume: 23
- Issue Number: 6
- Publisher: Institute of Electrical and Electronics Engineers (IEEE)
- ISSN: 1524-9050
- Serial URL: http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979
Subject/Index Terms
- TRT Terms: Behavior; Data models; Driver performance; Machine learning; Vehicle safety
- Subject Areas: Data and Information Technology; Highways; Safety and Human Factors;
Filing Info
- Accession Number: 01852108
- Record Type: Publication
- Files: TRIS
- Created Date: Jul 21 2022 11:30AM