AUTHOR=Sbai Zohra 

TITLE=Model checking deep neural networks: opportunities and challenges

JOURNAL=Frontiers in Computer Science

VOLUME=Volume 7 - 2025

YEAR=2025

URL=https://www.frontiersin.org/journals/computer-science/articles/10.3389/fcomp.2025.1557977

DOI=10.3389/fcomp.2025.1557977

ISSN=2624-9898