1. Principles of Model Checking;Baier,2008
2. Formal Methods for Discrete-Time Dynamical Systems;Belta,2017
3. Brown, K., Driggs-Campbell, K., and Kochenderfer, M.J. (2020). Modeling and Prediction of Human Driver Behavior: A Survey.
4. Theory of ordinary differential equations;Coddington,1955
5. Davies, A. (2017). Nissan’s Path to Self-Driving Cars? Humans in Call Centers. Wired Transportation. URL https://www.wired.com/2017/01/nissans-self-driving-teleoperation/.