Itay Buchnik
Itay Buchnik
Affiliation: Elbit Systems --- EW & SIGINT --- Elisra Ltd.
Pages in this Program
veriFIRE: An Industrial Case Study in Verifying Consistency Properties for DNN-Based Wildfire Detection System
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑