Author:
Barhoumi Oumaima,Zaki Mohamed H,Tahar Sofiène
Publisher
Springer Nature Switzerland
Reference22 articles.
1. Althoff, M., Stursberg, O., Buss, M.: Safety assessment of autonomous cars using verification techniques. In: American Control Conference, pp. 4154–4159 (2007)
2. Bagdadi, O., Várhelyi, A.: Jerky driving-an indicator of accident proneness? Accid. Anal. Prev. 43(4), 1359–1363 (2011)
3. Barhoumi, O.: KeYmaera X proof files for the traffic safety rule (2024). https://github.com/OumaimaBarhoumi/Traffic-Safety-Rule/
4. Cao, X., Young, W., Sarvi, M.: Exploring duration of lane change execution. In: Australasian Transport Research Forum, pp. 1–17 (2013)
5. Garcia, J., Feng, Y.: A comprehensive study of autonomous vehicle bugs. In: International Conference on Software Engineering, pp. 385–396. ACM (2020)