A Hybrid Deep Learning and Model-Checking Framework for Accurate Brain Tumor Detection and Validation. - Lahcen El Fatimi; Elhoucine Elfatimi; Hanifa Bouchaneb (CoRR, 2025)