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

Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli

Browse the full FM paper archive.