4 citations · 17 across the 19 of their papers we have counts for
1 paper · 1 filter
Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić
Formal verification of neural networks is an active topic of research, and recent advances have significantly increased the size of the networks that verification tools can handle.…