@misc{indiciae6ce8ad31137b,
  title = {veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System},
  author = {Idan Refaeli and Maya Swisa and Itay Buchnik and Alon Zada and Guy Amir and Elad Mandelbaum and Ziv Freund and Guy Katz},
  year = {2026},
  url = {https://arxiv.org/abs/2606.04121},
  note = {Source identifier: 2606.04121}
}