Verifying Global Two-Safety Properties in Neural Networks with Confidence. - Anagha Athavale; Ezio Bartocci; Maria Christakis; Matteo Maffei; Dejan Nickovic; Georg Weissenbacher (CAV (2), 2024)