Kovács, Ádám, Gunics, Roland, Kovásznai, Gergely, Tajti, Tibor (2025) Soft voting robustness in neural network ensembles with empirical analysis and formal verification Annales Mathematicae et Informaticae. 61. pp. 171-185. ISSN 1787-6117 (Online)