The following pages link to 20240037012. COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION simplified abstract (Robert Bosch GmbH):