Why uber's self-driving car killed a pedestrian, 2017. ,
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. ,
Combining spatial and temporal logics: expressiveness vs. complexity, Journal of Artificial Intelligence Research, vol.23, pp.167-243, 2005. ,
Qualitative and quantitative monitoring of spatio-temporal properties, Runtime Verification, pp.21-37, 2015. ,
On a formal model of safe and scalable self-driving cars, 2017. ,
CARLA: An open urban driving simulator, Proceedings of the 1st Annual Conference on Robot Learning, pp.1-16, 2017. ,
,
Webots for automobiles ,
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. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,