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