You are here

Home › Research › Publications ›

Formal Verification of Neural Networks?

TitleFormal Verification of Neural Networks?
Publication TypeConference Paper
Year of Publication2020
AuthorsLeucker, M
EditorCarvalho, G, Stolz, V
Conference NameFormal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
SeriesLecture Notes in Computer Science
Volume12475
PublisherSpringer
URLhttps://doi.org/10.1007/978-3-030-63882-5_1
DOI10.1007/978-3-030-63882-5_1
Bibtex: 
@inproceedings {1359,
	title = {Formal Verification of Neural Networks?},
	booktitle = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {12475},
	year = {2020},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-030-63882-5_1},
	url = {https://doi.org/10.1007/978-3-030-63882-5_1},
	author = {Martin Leucker},
	editor = {Gustavo Carvalho and Volker Stolz}
}