Pre collision detection system for pedestrian safety based on HOL.

Youssef Azdoud, Aouatif Amine, Nawal Alioua, Mohammed Rziza

Browse the full AICCSA paper archive.