1. Model in the loop testing and validation of embedded autonomous driving algorithms;Bruggner,2021
2. S-taliro: a tool for temporal logic falsification for hybrid systems;Annpureddy,2011
3. Breach, a toolbox for verification and parameter synthesis of hybrid systems;Donzé,2010
4. Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification;Menghi,2020
5. Automatically testing self-driving cars with search-based procedural content generation;Gambi,2019