TY - RPRT TI - A Hybrid Deep Learning and Model-Checking Framework for Accurate Brain Tumor Detection and Validation AU - Elhoucine Elfatimi AU - Lahcen El Fatimi AU - Hanifa Bouchaneb PY - 2025 UR - https://arxiv.org/abs/2501.01991 ID - 2501.01991 ER -