no code implementations • 8 Jan 2024 • Yizhak Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz
As deep neural networks (DNNs) are becoming the prominent solution for many computational problems, the aviation industry seeks to explore their potential in alleviating pilot workload and in improving operational safety.
no code implementations • 29 May 2023 • Raya Elsaleh, Guy Katz
We were able to simplify many of the verification queries that trigger these faulty behaviors, by as much as 99%.