1. 2013. An open autonomous driving platform . Retrieved April 30, 2022 from https://github.com/ApolloAuto/apollo 2013. An open autonomous driving platform. Retrieved April 30, 2022 from https://github.com/ApolloAuto/apollo
2. 2017. Programming Z3. Retrieved April 30, 2022 from https://theory.stanford.edu/ nikolaj/programmingz3.html 2017. Programming Z3. Retrieved April 30, 2022 from https://theory.stanford.edu/ nikolaj/programmingz3.html
3. 2019. SVLSimulator. Retrieved April 30 2022 from https://www.svlsimulator.com/docs/ 2019. SVLSimulator. Retrieved April 30 2022 from https://www.svlsimulator.com/docs/
4. Testing vision-based control systems using learnable evolutionary algorithms
5. Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles