Autonomous vehicle (AV) technology started to shift the perception of the transportation systems. However, for AVs to operate at their optimum capabilities, they need to go through a comprehensive testing and verification process. While a large amount of research and funding has been provided for solving this problem, there is still a lack of a systematic method to develop standardized tests that can be used to judge if the decision-making capability functions are within acceptable parameters. To that end, the tests need to cover all possible situations that an AV may run into. This paper focuses on defining the notion of coverage mathematically when using pseudo-randomly generated simulations for testing. The approach defines new equivalence relations between scenes, which are the systems' various states, to achieve this goal. Considering the substantial need for computation, even with the obtained coverage, we also introduce the mathematical definition of a sub-scene and additional strategies, such as expanding the equivalence classes of scenes and combining actors in scenes, to reduce the amount of testing required to certify AVs.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.