Formal specification and SMT verification of quantized neural network for autonomous vehicles. - Wahiba Bachiri; Yassamine Seladji; Pierre-Loïc Garoche (Sci. Comput. Program., 2025)