Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation. - Boutheina Bannour; Julien Niol; Paolo Crisafulli (IV, 2021)