Recrutement

recrutement

Formal verification of neural ODE for safety evaluation in autonomous vehicles