veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System

Guy Amir, Ziv Freund, Guy Katz +2

In this short paper, we present our ongoing work on the veriFIRE project -- a collaboration between industry and academia, aimed at using verification for increasing the reliabilit…