Test case sampling optimization for safety validation of automated driving systems | Synapse