I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Verifying Binary Neural Networks on Continuous Input Space ..:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),
Ivashchenko, Mykhailo ; Choi, Sung Woo ; Nguyen, Luan Viet. - p. 7-17 , 2023
Link: https://doi.org/10.1109/FormaliSE58978.2023.00009