Author:
Iberraken Dimia,Adouane Lounis
Publisher
Springer International Publishing
Reference17 articles.
1. Shalev-Shwartz, S., Shammah, S., Shashua, A.: On a formal model of safe and scalable self-driving cars. arXiv preprint arXiv:1708.06374 (2017)
2. Pek, C., Althoff, M.: Computationally efficient fail-safe trajectory planning for self-driving vehicles using convex optimization. In: 2018 21st International Conference on Intelligent Transportation Systems (ITSC), pp. 1447–1454 (2018)
3. Althoff, M., Dolan, J.M.: Online verification of automated road vehicles using reachability analysis. IEEE Trans. Rob. 30(4), 903–918 (2014)
4. Huang, X., Kwiatkowska, M., Wang, S., Wu, M.: Safety verification of deep neural networks. In: Majumdar, R., Kuncak, V. (eds.) International Conference on Computer Aided Verification., pp. 3–29. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-63387-9_1
5. Funke, J., Brown, M., Erlien, S.M., Gerdes, J.C.: Collision avoidance and stabilization for autonomous vehicles in emergency scenarios. IEEE Trans. Control Syst. Technol. 25(4), 1204–1216 (2016)