TY  - RPRT
TI  - veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System
AU  - Idan Refaeli
AU  - Maya Swisa
AU  - Itay Buchnik
AU  - Alon Zada
AU  - Guy Amir
AU  - Elad Mandelbaum
AU  - Ziv Freund
AU  - Guy Katz
PY  - 2026
UR  - https://arxiv.org/abs/2606.04121
ID  - 2606.04121
ER  -