Publikationen pro Jahr
Publikationen pro Jahr
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