πŸ“‹ Publications (1)

Filters: Keyword: Formal Verific… × Clear All
β–Ό
Clear
β–Ό
Manuel Abreu, LuΓ­s Garrote, LuΓ­s Conde Bento, Bradley Schmerl, Urbano J Nunes and David Garlan. Formal Verification of Deep Neural Networks for Classification in Industrial Environments. In Proc. the 16th International Conference on Information Science and Technology, Coimbra, Portugal. October 1-6, 2026.
PDF