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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Driver Identification Through Formal Methods


    Beteiligte:


    Erscheinungsdatum :

    2022-06-01


    Format / Umfang :

    2562392 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Driver identification system and methods

    KOTE THEJOVARDHANA S / JARIYASUNANT JERALD | Europäisches Patentamt | 2015

    Freier Zugriff

    Formal methods in the evaluation of a safe driver machine interface

    Majzik, Istvan / Bondavalli, Andrea / Klapka, Stepan et al. | Tema Archiv | 2008


    DRIVER IDENTIFICATION AND IDENTIFICATION SYSTEMS AND METHODS

    COLLINS JAMES D | Europäisches Patentamt | 2019

    Freier Zugriff

    DRIVER IDENTIFICATION AND IDENTIFICATION SYSTEMS AND METHODS

    COLLINS II JAMES D | Europäisches Patentamt | 2019

    Freier Zugriff

    Driver identification and identification systems and methods

    COLLINS II JAMES D | Europäisches Patentamt | 2022

    Freier Zugriff