Driver Identification Through Formal Methods
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Intelligent Transportation Systems"
DOI: 10.1109/tits.2021.3055347
Abstract: 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… read more here.
Keywords: identification formal; formal methods; identification; driver identification ... See more keywords