ABSTRACT
Today, autonomous collision avoidance systems (ACAS) are widely applied in the world, such as driverless cars, Mars exploration rovers, information collection vehicles or robots under dangerous environments. A prototype of ACAS is necessary for finding some latent defects in an early phase of its development. For example, checking or testing the prototype might detect some design flaws in the design phase. This could reduce the cost and improve the quality for the development of ACAS.
