Full name Familienname, Vorname

Athavale, Anagha

Main Affiliation Organisationszuordnung

TU Wien

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Athavale, Anagha ; Bartocci, Ezio ; Christakis, Maria ; Maffei, Matteo ; Ničković, Dejan ; Weissenbacher, Georg	Verifying Global Two-Safety Properties in Neural Networks with Confidence	Inproceedings Konferenzbeitrag	2024