Publisher
Springer Nature Switzerland
Reference31 articles.
1. Ayub, M.F., Ghawash, F., Shabbir, M.A., Kamran, M., Butt, F.A.: Next generation security and surveillance system using autonomous vehicles. In: 2018 Ubiquitous Positioning, Indoor Navigation and Location-Based Services (UPINLBS), pp. 1–5 (2018). https://doi.org/10.1109/UPINLBS.2018.8559744
2. Checkoway , S., et al.: Comprehensive experimental analyses of automotive attack surfaces. In Proceedings of the 20th USENIX Conference on Security (SEC 11), pp. 6–6. USENIX Association (2011)
3. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automated verification of finite state concurrent systems using temporal logic specifications: a practical approach. In: Proceedings of POPL, pp. 117–126 (1983)
4. Lecture Notes in Computer Science;EM Clarke,2012
5. Cui, J., Sabaliauskaite, G., Liew, L.S., Zhou, F., Zhang, B.: Collaborative analysis framework of safety and security for autonomous vehicles. IEEE Access 7, 148672–148683 (2019). ISSN 2169–3536