TY  - RPRT
TI  - Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture
AU  - Francisco Eiras
AU  - Morteza Lahijanian
AU  - Marta Kwiatkowska
PY  - 2019
DO  - 10.1109/cavs.2019.8887768
UR  - https://arxiv.org/abs/1907.09603
ID  - 1907.09603
ER  -