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

Autor:	Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
Rok vydání:	2023
Zdroj:	Formal Methods ISBN: 9783031274800
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::afee353c0395dc6b4422700e9c84f309 https://doi.org/10.1007/978-3-031-27481-7_38 Zobrazit plný text záznamu