Skip to main navigation Skip to search Skip to main content
No photo of Anagha Athavale

Anagha Athavale

Fingerprint

Dive into the research topics where Anagha Athavale is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint
  • 1 Conference Proceedings with Oral Presentation

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

    Athavale, A. (Author and Speaker), Bartocci, E., Christakis, M., Maffei, M., Nickovic, D. & Weissenbacher, G., 2024, Computer Aided Verification - 36th International Conference, (CAV). Gurfinkel, A. & Ganesh, V. (eds.). Springer, Vol. 14682. p. 329-351 ( Lecture Notes in Computer Science; vol. 14682).

    Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

    Open Access