Essays about: "Lateral State Manager"
Found 1 essay containing the words Lateral State Manager.
-
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