Essays about: "Marco Dei Rossi"
Found 1 essay containing the words Marco Dei Rossi.
-
1. Automatically Learning Register Automata from MATLAB Code : A case study in autonomous driving
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : The successful verification of the behaviour of an Autonomous driving (AD) vehicle is fundamental for the commercialization of this new technology. Formal verification can be used to exhaustively verify the correctness of a system, but it requires a formal model to do so. READ MORE
Result pages:
1