T. Economist, Why uber's self-driving car killed a pedestrian, 2017.

V. Ciancia, G. Grilletti, D. Latella, M. Loreti, and M. Massink, Revised Selected Papers, ser. Lecture Notes in Computer, Software Engineering and Formal Methods -SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, vol.9509, pp.297-311, 2015.

D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev, Combining spatial and temporal logics: expressiveness vs. complexity, Journal of Artificial Intelligence Research, vol.23, pp.167-243, 2005.

L. Nenzi, L. Bortolussi, V. Ciancia, M. Loreti, and M. Massink, Qualitative and quantitative monitoring of spatio-temporal properties, Runtime Verification, pp.21-37, 2015.

S. Shalev-shwartz, S. Shammah, and A. Shashua, On a formal model of safe and scalable self-driving cars, 2017.

A. Dosovitskiy, G. Ros, F. Codevilla, A. Lopez, and V. Koltun, CARLA: An open urban driving simulator, Proceedings of the 1st Annual Conference on Robot Learning, pp.1-16, 2017.

B. Ltd and . Apollo,

C. Ltd, Webots for automobiles

C. André and F. Mallet, Specification and verification of time requirements with ccsl and esterel, Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, pp.167-176, 2009.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.