Formally Explaining Neural Networks within Reactive Systems

Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz. Formally Explaining Neural Networks within Reactive Systems. In Alexander Nadel, Kristin Yvonne Rozier, editors, Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023. pages 1-13, IEEE, 2023. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.