Multi-Controller Architecture for Reliable Autonomous Vehicle Navigation: Combination of Model-Driven and Data-Driven Formalization. - Dimia Iberraken; Lounis Adouanc; Dieumet Denis (IV, 2019)