1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2026
veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System
Idan Refaeli, Maya Swisa, Itay Buchnik +5
We present our ongoing work on the veriFIRE project: a collaboration between industry and academia, aimed at applying verification to increase the reliability of a real-world, safe…
eess.SP2023★ 1 cited
GSP-KalmanNet: Tracking Graph Signals via Neural-Aided Kalman Filtering
Itay Buchnik, Guy Sagi, Nimrod Leinwand +3
Dynamic systems of graph signals are encountered in various applications, including social networks, power grids, and transportation. While such systems can often be described as s…
eess.SP2023
Latent-KalmanNet: Learned Kalman Filtering for Tracking from High-Dimensional Signals
Itay Buchnik, Damiano Steger, Guy Revach +3
The Kalman filter (KF) is a widely-used algorithm for tracking dynamic systems that are captured by state space (SS) models. The need to fully describe a SS model limits its applic…