Dependability for declarative mechanisms: neural networks in autonomous vehicles decision making. - Augustin Pierre Martin Viot (2023)