To Err is Human: Designing Correct-by-Construction Driver Assistance Systems using Cognitive Modelling
Project submitted to fulfill the requirements the degree of Master of Science in Computer Science at the University of Oxford.
Author: Francisco Girbal Eiras
Supervised by: Dr. Morteza Lahijanian and Professor Marta Kwiatkowska
Language: English (UK)
The repository is organised in the following way:
dissertationcontains the LaTeX components of the dissertation, with the PDF here (3.04 MB).codecontains the source code associated with the dissertation:code/human_driver_modelcontains the code related to Chapter 3 of the dissertationcode/driver_assistance_systemcontains the code related to Chapter 4 of the dissertation
In order to run the source code, the following are necessary (or newer version of the software/packages):
- Matlab 2016a
- python 3.6.5
numpy>=1.14.3matplotlib>=2.2.2pygame>=1.9.3
Most of the python scripts include a help section which can be obtained by running:
python3 [SCRIPT_NAME] -h