[SOTIF US Conference] Introduction to Safe ML

il y a 4 ans 278 Vues

When neural networks meet dependability

il y a 5 ans 466 Vues

Formal Methods for Dependable Neural Networks

il y a 6 ans 461 Vues