1. Formal specification and verification of autonomous robotic systems: A survey;Luckcuck;ACM Comput. Surv.,2019
2. Towards a framework for certification of reliable autonomous systems;Fisher;Auton. Agents Multi-Agent Syst.,2021
3. ARTOO: Adaptive random testing for object-oriented software;Ciupa,2008
4. Directed greybox fuzzing;Böhme,2017
5. J.A. DeCastro, L. Liebenwein, C.I. Vasile, R. Tedrake, S. Karaman, D. Rus, Counterexample-Guided Safety Contracts for Autonomous Driving, in: Workshop on the Algorithmic Foundations of Robotics, WAFR, 2018, pp. 1–16.