Formally Explaining Neural Networks within Reactive Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shahaf Bassan' in GoogleThis author has not been identified. Look up 'Guy Amir' in GoogleThis author has not been identified. Look up 'Davide Corsi' in GoogleThis author has not been identified. Look up 'Idan Refaeli' in GoogleThis author has not been identified. Look up 'Guy Katz' in Google

runs on WebDSL