Showing 1 - 2 results of 2 for search 'Turkaslan, I', query time: 0.02s
Refine Results
-
1
A Unified view of piecewise linear neural network verification by Bunel, R, Turkaslan, I, Torr, P, Kohli, P, Mudigonda, P
Published 2018Conference item -
2
Branch and bound for piecewise linear neural network verification by Bunel, R, Mudigonda, P, Turkaslan, I, Torr, P, Lu, J, Kohli, P
Published 2020Journal article