Towards more efficient quantitative safety validation of residual risk for assisted and automated driving. - Daniel Betschinske; Malte Schrimpf; Steven Peters; Kamil Klonecki; Jan Peter Karch; Moritz Lippert (CoRR, 2025)