Fingerprint
Ergründen Sie die Forschungsthemen, in denen Anagha Athavale aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Publikationen
- 1 Vortrag mit Beitrag in Tagungsband
-
Verifying Global Two-Safety Properties in Neural Networks with Confidence
Athavale, A. (Autor:in und Vortragende:r), Bartocci, E., Christakis, M., Maffei, M., Nickovic, D. & Weissenbacher, G., 2024, Computer Aided Verification - 36th International Conference, (CAV). Gurfinkel, A. & Ganesh, V. (Hrsg.). Springer, Band 14682. S. 329-351 ( Lecture Notes in Computer Science; Band 14682).Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
Open Access