Algorithms for the Safe Management of Autonomous Vehicles - Mourad Baïou; Alain Quilliot; Lounis Adouane; Aurelien Mombelli; Zhengze Zhu (Annals of computer science and information systems, 2021)