Rule-based searching for collision test cases of autonomous vehicles simulationSatoshi MasudaHiroaki Nakamuraet al.2018IET Intelligent Transport Systems