@inproceedings{Eiras:CAVS:2019,
  title={Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture},
  author={Eiras, Francisco and Lahijanian, Morteza and Kwiatkowska, Marta},
  booktitle={2019 IEEE 2nd Connected and Automated Vehicles Symposium},
  pages={1--7},
  year={2019},
  organization={IEEE},
  Address = {Honolulu, HI, USA},
  DOI= {10.1109/CAVS.2019.8887768},
}