Anagha Athavale

According to our database, Anagha Athavale authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying Global Two-Safety Properties in Neural Networks with Confidence.

Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher

Proceedings of the Computer Aided Verification - 36th International Conference, 2024